Cook and Reckhow are Wrong: Subexponential Tableaux Proofs for Their Family of Formulae.

Fabio Massacci

Browse the full ECAI paper archive.