A Non-Monotonic Deduction System Based on (A)TMS.

Hartmut Freitag Michael Reinfrank A Non-Monotonic Deduction System Based on (A)TMS. 601-606 1988 ECAI db/conf/ecai/ecai88.html#FreitagR88