You are about to access our book library "Deductive and Object-Oriented Databases: Fourth International Conference, Dood' 95, Singapore, December 4-7, 1995. Proceedings full version" .