Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
Schmidt, R. A., & Waldmann, U. (2015). Modal Tableau Systems with Blocking and Congruence Closure. In H., de Nivelle (Ed.), Automated Reasoning with Analytic Tableaux and Related Methods (pp. 38-53). Berlin: Springer. doi:10.1007/978-3-319-24312-2_4.
