D. Ferney, A. Quilliot. A Backward Chaining Resolution Process Involving Non-Monotonic Operators. In Bernadette Bouchon-Meunier, Llorenç Valverde, Ronald R. Yager, editors, IPMU 92 - Advanced Methods in Artificial Intelligence, 4th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992, Proceedings. Volume 682 of Lecture Notes in Computer Science, pages 73-82, Springer, 1992.
Abstract is missing.