MOOD a knowledgebase system with objectoriented deduction - Bayer, Rudolf (1991)