Information modelling and knowledge bases XIV - Jaakkola, Hannu (Frontiers in artificial intelligence and applications, 2003)