Approximate Inference in Default Logic and Circumscription.

Marco Cadoli Marco Schaerf Approximate Inference in Default Logic and Circumscription. 103-112 1994 21 Fundam. Inform. 1/2 db/journals/fuin/fuin21.html#CadoliS94