Approximate Inference in Default Logic and Circumscription.

Marco Cadoli Marco Schaerf Approximate Inference in Default Logic and Circumscription. 123-143 1995 23 Fundam. Inform. 1 db/journals/fuin/fuin23.html#CadoliS95