@TechReport{EndrissEtAlTR2004,
  author = 	 {Ulle Endriss and Paolo Mancarella and Fariba Sadri and Giacomo Terreni and Francesca Toni},
  title = 	 {The CIFF Proof Procedure: Definition and Soundness Results},
  institution =  {Department of Computing, Imperial College London},
  year = 	 {2004},
  number = 	 {2004/2},
  month = 	 {May},
  url =          {http://www.illc.uva.nl/~ulle/pubs/files/EndrissEtAlTR2004.pdf}  
}

{"_id":"AEx7EfoejDAFXSpw3","bibbaseid":"endriss-mancarella-sadri-terreni-toni-theciffproofproceduredefinitionandsoundnessresults-2004","authorIDs":[],"author_short":["Endriss, U.","Mancarella, P.","Sadri, F.","Terreni, G.","Toni, F."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["Ulle"],"propositions":[],"lastnames":["Endriss"],"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":"The CIFF Proof Procedure: Definition and Soundness Results","institution":"Department of Computing, Imperial College London","year":"2004","number":"2004/2","month":"May","url":"http://www.illc.uva.nl/~ulle/pubs/files/EndrissEtAlTR2004.pdf","bibtex":"@TechReport{EndrissEtAlTR2004,\n author = \t {Ulle Endriss and Paolo Mancarella and Fariba Sadri and Giacomo Terreni and Francesca Toni},\n title = \t {The CIFF Proof Procedure: Definition and Soundness Results},\n institution = {Department of Computing, Imperial College London},\n year = \t {2004},\n number = \t {2004/2},\n month = \t {May},\n url = {http://www.illc.uva.nl/~ulle/pubs/files/EndrissEtAlTR2004.pdf} \n}\n\n\n","author_short":["Endriss, U.","Mancarella, P.","Sadri, F.","Terreni, G.","Toni, F."],"key":"EndrissEtAlTR2004","id":"EndrissEtAlTR2004","bibbaseid":"endriss-mancarella-sadri-terreni-toni-theciffproofproceduredefinitionandsoundnessresults-2004","role":"author","urls":{"Paper":"http://www.illc.uva.nl/~ulle/pubs/files/EndrissEtAlTR2004.pdf"},"downloads":0},"bibtype":"techreport","biburl":"https://staff.science.uva.nl/u.endriss/pubs/data/endriss.bib","creationDate":"2020-01-27T17:22:24.392Z","downloads":0,"keywords":[],"search_terms":["ciff","proof","procedure","definition","soundness","results","endriss","mancarella","sadri","terreni","toni"],"title":"The CIFF Proof Procedure: Definition and Soundness Results","year":2004,"dataSources":["tttdepmzM7nTNGhka"]}