@inproceedings{EndrissEtAlARW2005,
  author =        {Ulle Endriss and Markos Hatzitaskos and Paolo Mancarella and Fariba Sadri and Giacomo Terreni and Francesca Toni},
  title =         {Refinements of the CIFF Procedure},
  editor =        {Alan Bundy and Jacques Fleuriot},
  booktitle =     {Proceedings of the 12th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice},
  organization =  {University of Edinburgh},
  month =         {July},
  year =          {2005},
  note =          {Extended Abstract}
}