1. The Even More Liberalized δ-Rule in Free Variable Semantic Tableaux;Beckert,1993
2. leanTAP: Lean Tableau-Based Deduction;Beckert;J. Automated Reasoning,1995
3. First-Order Logic and Automated Theorem Proving;Fitting,1990
4. KEIM: A Toolkit for Automated Deduction;Huang,1994
5. SETHEO: A High-Performance Theorem Prover;Letz;J. Automated Reasoning,1992