Word Problems Requiring Exponential Time (1973)

by L Stockmeyer, A Meyer
Venue:In Proc. of 5th Symp. on Theory of Computing (STOC