Integrating Data Type Inheritance into Logic Programming.

db/conf/db-workshops/Ait-KaciN85.html Hassan Aït-Kaci Roger Nasr Integrating Data Type Inheritance into Logic Programming. 121-136 POS/1985/P121.pdf 1985 conf/pos/1985 Data Types and Persistence (Appin) db/conf/db-workshops/appin85.html#Ait-KaciN85