You are about to access our book library "Deductive and Object-Oriented Databases: Fourth International Conference, DOOD' 95, Singapore, December 4-7, 1995. Proceedings (Lecture Notes in Computer Science, 1013) full version" .