A Declarative View of Inheritance in Logic Programming.

Michele Bugliesi A Declarative View of Inheritance in Logic Programming. 113-127 1992 JICSLP db/conf/iclp/iclp92.html#Bugliesi92