Schmidt, R. A., & Waldmann, U.(2015). Modal Tableau Systems with Blocking and Congruence Closure (uk-ac-man-scw:268816). Manchester: University of Manchester.