"Automated Reasoning, Knowledge Representation and Management."

Peter Baumgartner, Ulrich Furbach, Adnan H. Yahya (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics