Stefano Ceri Katsumi Tanaka Shalom Tsur Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings DOOD Lecture Notes in Computer Science 760 Springer 1993 3-540-57530-8 db/conf/dood/dood93.html