A Backward Chaining Resolution Process Involving Non-Monotonic Operators.

D. Ferney A. Quilliot A Backward Chaining Resolution Process Involving Non-Monotonic Operators. 73-82 1992 conf/ipmu/1992 IPMU db/conf/ipmu/ipmu1992.html#FerneyQ92