Word problems requiring exponential time (1973)

by L Stockmeyer, A Meyer
Venue:In Proceedings of the 5th Symposium on Theory of Computing (STOC