The CIFF Proof Procedure for Abductive Logic Programming with Constraints.

Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni

Browse the full JELIA paper archive.