Hassan Aït-Kaci Roger Nasr Logic and Inheritance. 219-228 1986 POPL db/conf/popl/popl86.html#Ait-KaciN86