A logic for objects (1986)

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