Hassan Aït-Kaci Roger Nasr LOGIN: A Logic Programming Language with Built-In Inheritance. 185-215 1986 3 J. Log. Program. 3 db/journals/jlp/jlp3.html#Ait-KaciN86