@inproceedings{EndrissEtAlARW2004,
  author =        {Ulle Endriss and Paolo Mancarella and Fariba Sadri and Giacomo Terreni and Francesca Toni},
  title =         {Abductive Logic Programming with CIFF},
  editor =        {B.~Bennett},
  booktitle =     {Proceedings of the 11th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice},
  organization =  {University of Leeds},
  month =         {March},
  year =          {2004},
  note =          {Extended Abstract}
}