María José Ramírez, Moreno Falaschi. Conditional Narrowing with Constructive Negation. In Evelina Lamma, Paola Mello, editors, Extensions of Logic Programming, Third International Workshop, ELP 92, Bologna, Italy, February 26-28, 1992, Proceedings. Volume 660 of Lecture Notes in Computer Science, pages 59-79, Springer, 1992.
Abstract is missing.