Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni. The CIFF Proof Procedure for Abductive Logic Programming with Constraints. In José Júlio Alferes, João Alexandre Leite, editors, Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. Volume 3229 of Lecture Notes in Computer Science, pages 31-43, Springer, 2004. [doi]
Abstract is missing.