"Query Answering in Circumscription."

Nicolas Helft, Katsumi Inoue, David Poole (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics