Lean Induction Principles for Tableaux.

Matthias Baaz, Uwe Egly, Christian G. Fermller

Browse the full TABLEAUX paper archive.