by International Conference on Principles of Knowledge Representation and Reasoning (4th 1994 Bonn, Germany), Jon Doyle, Erik Sandewall
