Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
https://www.escholar.manchester.ac.uk/uk-ac-man-scw:268816 (beliebiger Volltext)
https://www.research.manchester.ac.uk/portal/files/32297317/FULL_TEXT.PDF (beliebiger Volltext)
Schmidt, R. A., & Waldmann, U.(2015). Modal Tableau Systems with Blocking and Congruence Closure (uk-ac-man-scw:268816). Manchester: University of Manchester.