1. Pietro Abate. The Tableau Workbench: a framework for building automated tableau-based theorem provers. PhD thesis, Australian National University, 2007
2. System description: The tableaux workbench (TWB);Abate,2003
3. : Lean tableau-based deduction;Beckert;Journal of Automated Reasoning,1995
4. Contraction-free sequent calculi for intuitionistic logic;Dyckhoff;The Journal of Symbolic Logic,1992
5. Jon W. Freeman. Improvements to Propositional Satisfiability Search Algorithms. PhD thesis, University of Philadelphia, 1995