A Backward Chaining Resolution Process Involving Non-Monotonic Operators. - D. Ferney; Alain Quilliot (IPMU, 1992)