Computing Circumscription Revisited: Preliminary Report.

Patrick Doherty 0001 Witold Lukaszewicz Andrzej Szalas Computing Circumscription Revisited: Preliminary Report. 1502-1508 1995 conf/ijcai/1995 IJCAI db/conf/ijcai/ijcai95.html#DohertyLS95 http://ijcai.org/Proceedings/95-2/Papers/063.pdf