@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},
  booktitle =    {Proceedings of the 12th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice},    organization = {University of Edinburgh},  
  editor =       {Alan Bundy and Jacques Fleuriot},
  year = 	 {2005},
  month = 	 {July},
  note =         {Extended Abstract},
  url =          {http://www.illc.uva.nl/~ulle/pubs/files/EndrissEtAlARW2005.pdf}
}

{"_id":"c7AeazHCXpE8fCbAE","bibbaseid":"endriss-hatzitaskos-mancarella-sadri-terreni-toni-refinementsoftheciffprocedure-2005","authorIDs":[],"author_short":["Endriss, U.","Hatzitaskos, M.","Mancarella, P.","Sadri, F.","Terreni, G.","Toni, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ulle"],"propositions":[],"lastnames":["Endriss"],"suffixes":[]},{"firstnames":["Markos"],"propositions":[],"lastnames":["Hatzitaskos"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Mancarella"],"suffixes":[]},{"firstnames":["Fariba"],"propositions":[],"lastnames":["Sadri"],"suffixes":[]},{"firstnames":["Giacomo"],"propositions":[],"lastnames":["Terreni"],"suffixes":[]},{"firstnames":["Francesca"],"propositions":[],"lastnames":["Toni"],"suffixes":[]}],"title":"Refinements of the CIFF Procedure","booktitle":"Proceedings of the 12th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice","organization":"University of Edinburgh","editor":[{"firstnames":["Alan"],"propositions":[],"lastnames":["Bundy"],"suffixes":[]},{"firstnames":["Jacques"],"propositions":[],"lastnames":["Fleuriot"],"suffixes":[]}],"year":"2005","month":"July","note":"Extended Abstract","url":"http://www.illc.uva.nl/~ulle/pubs/files/EndrissEtAlARW2005.pdf","bibtex":"@InProceedings{EndrissEtAlARW2005,\n author = \t {Ulle Endriss and Markos Hatzitaskos and Paolo Mancarella and Fariba Sadri and Giacomo Terreni and Francesca Toni},\n title = \t {Refinements of the CIFF Procedure},\n booktitle = {Proceedings of the 12th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice}, organization = {University of Edinburgh}, \n editor = {Alan Bundy and Jacques Fleuriot},\n year = \t {2005},\n month = \t {July},\n note = {Extended Abstract},\n url = {http://www.illc.uva.nl/~ulle/pubs/files/EndrissEtAlARW2005.pdf}\n}\n\n","author_short":["Endriss, U.","Hatzitaskos, M.","Mancarella, P.","Sadri, F.","Terreni, G.","Toni, F."],"editor_short":["Bundy, A.","Fleuriot, J."],"key":"EndrissEtAlARW2005","id":"EndrissEtAlARW2005","bibbaseid":"endriss-hatzitaskos-mancarella-sadri-terreni-toni-refinementsoftheciffprocedure-2005","role":"author","urls":{"Paper":"http://www.illc.uva.nl/~ulle/pubs/files/EndrissEtAlARW2005.pdf"},"downloads":0},"bibtype":"inproceedings","biburl":"https://staff.science.uva.nl/u.endriss/pubs/data/endriss.bib","creationDate":"2020-01-27T17:22:24.394Z","downloads":0,"keywords":[],"search_terms":["refinements","ciff","procedure","endriss","hatzitaskos","mancarella","sadri","terreni","toni"],"title":"Refinements of the CIFF Procedure","year":2005,"dataSources":["tttdepmzM7nTNGhka"]}