Tableau Calculus and Equational Reasoning (Extended Abstract).

Wolfgang Wernecke

Browse the full TABLEAUX paper archive.