@inproceedings{DBLP:conf/tableaux/CassanoPM15,
  author    = {Valentin Cassano and
               Carlos Gustavo L{\'{o}}pez Pombo and
               Thomas Stephen Edward Maibaum},
  editor    = {Hans de Nivelle},
  title     = {A Propositional Tableaux Based Proof Calculus for Reasoning with Default
               Rules},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
               International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
               21-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9323},
  pages     = {6--21},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24312-2\_2},
  doi       = {10.1007/978-3-319-24312-2\_2},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/tableaux/CassanoPM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"tTg8rtuKYq2JJEtJT","bibbaseid":"cassano-pombo-maibaum-apropositionaltableauxbasedproofcalculusforreasoningwithdefaultrules-2015","authorIDs":[],"author_short":["Cassano, V.","Pombo, C. G. L.","Maibaum, T. S. E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Valentin"],"propositions":[],"lastnames":["Cassano"],"suffixes":[]},{"firstnames":["Carlos","Gustavo","López"],"propositions":[],"lastnames":["Pombo"],"suffixes":[]},{"firstnames":["Thomas","Stephen","Edward"],"propositions":[],"lastnames":["Maibaum"],"suffixes":[]}],"editor":[{"firstnames":["Hans"],"propositions":["de"],"lastnames":["Nivelle"],"suffixes":[]}],"title":"A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules","booktitle":"Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wroc\\law, Poland, September 21-24, 2015. Proceedings","series":"Lecture Notes in Computer Science","volume":"9323","pages":"6–21","publisher":"Springer","year":"2015","url":"https://doi.org/10.1007/978-3-319-24312-2_2","doi":"10.1007/978-3-319-24312-2_2","timestamp":"Tue, 14 May 2019 10:00:54 +0200","biburl":"https://dblp.org/rec/conf/tableaux/CassanoPM15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tableaux/CassanoPM15,\n author = {Valentin Cassano and\n Carlos Gustavo L{\\'{o}}pez Pombo and\n Thomas Stephen Edward Maibaum},\n editor = {Hans de Nivelle},\n title = {A Propositional Tableaux Based Proof Calculus for Reasoning with Default\n Rules},\n booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th\n International Conference, {TABLEAUX} 2015, Wroc{\\l}aw, Poland, September\n 21-24, 2015. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {9323},\n pages = {6--21},\n publisher = {Springer},\n year = {2015},\n url = {https://doi.org/10.1007/978-3-319-24312-2\\_2},\n doi = {10.1007/978-3-319-24312-2\\_2},\n timestamp = {Tue, 14 May 2019 10:00:54 +0200},\n biburl = {https://dblp.org/rec/conf/tableaux/CassanoPM15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Cassano, V.","Pombo, C. G. L.","Maibaum, T. S. E."],"editor_short":["de Nivelle, H."],"key":"DBLP:conf/tableaux/CassanoPM15","id":"DBLP:conf/tableaux/CassanoPM15","bibbaseid":"cassano-pombo-maibaum-apropositionaltableauxbasedproofcalculusforreasoningwithdefaultrules-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-24312-2_2"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/140/7429.bib","creationDate":"2021-03-10T21:58:23.786Z","downloads":0,"keywords":[],"search_terms":["propositional","tableaux","based","proof","calculus","reasoning","default","rules","cassano","pombo","maibaum"],"title":"A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules","year":2015,"dataSources":["TScJwDCnKznktxT7b"]}