Word problems requiring exponential time (1973)

by L Stockmeyer, A Meyer
Venue:in: 5th ACM Symposium on the Theory of Computing