Non-elementary Speed-ups in Proof Length by Different Variants of Classical Analytic Calculi.

Uwe Egly

Browse the full TABLEAUX paper archive.