TY  - RPRT
TI  - The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments
AU  - P. Mancarella
AU  - G. Terreni
AU  - F. Sadri
AU  - F. Toni
AU  - U. Endriss
PY  - 2009
UR  - https://arxiv.org/abs/0906.1182
ID  - 0906.1182
ER  -