%0 Conference Paper %1 conf/tableaux/CassanoPM15 %A Cassano, Valentin %A Pombo, Carlos Gustavo López %A Maibaum, Thomas Stephen Edward %B TABLEAUX %D 2015 %E de Nivelle, Hans %I Springer %K dblp %P 6-21 %T A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2015.html#CassanoPM15 %V 9323 %@ 978-3-319-24311-5

@inproceedings{conf/tableaux/CassanoPM15, added-at = {2017-02-04T00:00:00.000+0100}, author = {Cassano, Valentin and Pombo, Carlos Gustavo López and Maibaum, Thomas Stephen Edward}, biburl = {https://www.bibsonomy.org/bibtex/2da05b47190fb471b56bd997be3329cdf/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2015}, editor = {de Nivelle, Hans}, ee = {http://dx.doi.org/10.1007/978-3-319-24312-2_2}, interhash = {b3d0af17dc8c4c791e37d248ae07823e}, intrahash = {da05b47190fb471b56bd997be3329cdf}, isbn = {978-3-319-24311-5}, keywords = {dblp}, pages = {6-21}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-02-07T11:35:57.000+0100}, title = {A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2015.html#CassanoPM15}, volume = 9323, year = 2015 }