@inproceedings{EndrissEtAlJELIA2004,
  author =        {Ulle Endriss and Paolo Mancarella and Fariba Sadri and Giacomo Terreni and Francesca Toni},
  title =         {The CIFF Proof Procedure for Abductive Logic Programming with Constraints},
  editor =        {J.~J.~Alferes and J.~Leite},
  booktitle =     {Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004)},
  series =        {LNAI},
  volume =        {3229},
  pages =         {31--43},
  publisher =     {Springer},
  month =         {September},
  year =          {2004}
}