Lean induction principles for tableaux (1997)

by Matthias Baaz, Uwe Egly, Christian G Fermuller
Venue:Automated Reasoning with Analytic Tableaux and Related Methods