Information modelling and knowledge bases XIII - Kangassalo, Hannu (Frontiers in artificial intelligence and applications ;, 2002)