Advances in information modelling and knowledge bases - Jaakola, H (Frontiers in artificial intelligence and applications, 1991)