Non-elementary Speedups between Different Versions of Tableaux.

Matthias Baaz, Christian G. Fermller

Browse the full TABLEAUX paper archive.