Miguel-Angel Oros Paul Y. Gloess Inheritance in Datalog. 52-58 1993 LPE db/conf/lpe/lpe93.html#OrosG93