Patrick Doherty Witold Lukaszewicz Andrzej Szalas General Domain Circumscription and its Effective Reductions. 23-55 1998 36 Fundam. Inform. 1 db/journals/fuin/fuin36.html#DohertyLS98 http://dx.doi.org/10.3233/FI-1998-3612