Ryohei Nakano. Integrity Checking in a Logic-Oriented ER Model. In Carl G. Davis, Sushil Jajodia, Peter A. Ng, Raymond T. Yeh, editors, Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach (ER 83). pages 551-564, North-Holland, 1983. [doi]