Thomas Käufl The Prover of the Program Verification System Tatzelwurm. 40-42 1992 TABLEAUX db/conf/tableaux/tableaux92.html#Kaufl92