A Logic for Object-Oriented Logic Programming (Maier's 0logic Revisited (0)

by M Kifer, J Wu
Venue:Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 19S9