@inproceedings{SchmidtTABLEAUX2015,
TITLE = {Modal Tableau Systems with Blocking and Congruence Closure},
AUTHOR = {Schmidt, Renate A. and Waldmann, Uwe},
LANGUAGE = {eng},
ISBN = {978-3-319-24311-5},
DOI = {10.1007/978-3-319-24312-2_4},
PUBLISHER = {Springer},
YEAR = {2015},
DATE = {2015},
BOOKTITLE = {Automated Reasoning with Analytic Tableaux and Related Methods},
EDITOR = {de Nivelle, Hans},
PAGES = {38--53},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {9323},
ADDRESS = {Wroc{\l}aw, Poland},
}