Reiner Hähnle Bernhard Beckert Proof Confluent Tableau Calculi. 34-35 1999 conf/tableaux/1999 TABLEAUX db/conf/tableaux/tableaux99.html#HahnleB99