Information modelling and knowledge bases IV : concepts, methodos and systems - Kangassalo, Hannu (Frontiers in artificial intelligence and applications (IOS Press), 1993)