@misc{indiciae7365290e2581,
  title = {The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments},
  author = {P. Mancarella and G. Terreni and F. Sadri and F. Toni and U. Endriss},
  year = {2009},
  url = {https://arxiv.org/abs/0906.1182},
  note = {Source identifier: 0906.1182}
}