Chitta Baral Alfredo Gabaldon Alessandro Provetti Value Minimization in Circumscription. 163-186 1998 102 Artif. Intell. 2 db/journals/ai/ai102.html#BaralGP98 http://dx.doi.org/10.1016/S0004-3702(98)00051-4