Word problems requiring exponential time (1973)

by L J Stockmeyer, A R Meyer
Venue:In Proc. 5th Annual ACM Symposium on Theory of Computing (STOC’73), ACM