Nicolas Helft Katsumi Inoue David Poole Query Answering in Circumscription. 426-431 1991 IJCAI db/conf/ijcai/ijcai91.html#HelftIP91