Non-elementary speedups between different versions of tableaux (1995)

by M Baaz, C G Fermuller
Venue:In