The CIFF Proof Procedure: Definition and Soundness Results. Endriss, U., Mancarella, P., Sadri, F., Terreni, G., & Toni, F. Technical Report 2004/2, Department of Computing, Imperial College London, May, 2004. Paper bibtex @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}
}
Downloads: 0
{"_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"]}