Representing objects in a logic programming language with scoping constructs (1990)

by Joshua Hodas, Dale Miller
Venue:International Conference in Logic Programming, pages 511 – 526