@conference {406,
	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},
	year = {2015},
	doi = {10.1007/978-3-319-24312-2_2},
	url = {http://dx.doi.org/10.1007/978-3-319-24312-2_2},
	author = {Valentin Cassano and Carlos Gustavo L{\'o}pez Pombo and Thomas S.E. Maibaum}
}