A Logic for Objects (1986)

by D Maier
Venue:In Workshop on Foundations of Deductive Database8 and Logic Programming