Merging Objects and Logic Programming: Relational Semantics.

Hervé Gallaire Merging Objects and Logic Programming: Relational Semantics. 754-758 1986 AAAI db/conf/aaai/aaai86-2.html#Gallaire86