General Domain Circumscription in its First-Order Reduction.

Patrick Doherty Witold Lukaszewicz Andrzej Szalas General Domain Circumscription in its First-Order Reduction. 93-109 1996 conf/fapr/1996 FAPR db/conf/fapr/fapr96.html#DohertyLS96