Modal Tableau Systems with Blocking and Congruence Closure.

Renate A. Schmidt, Uwe Waldmann

Browse the full TABLEAUX paper archive.