Non-elementary Speedups between Different Versions of Tableaux (1995)

by Matthias Baaz, Christian G Fermüller
Venue:4 th TABLEAUX 1995, LNAI 918