"Word Problems Requiring Exponential Time: Preliminary Report"

Larry J. Stockmeyer, Albert R. Meyer (1973)
a service of Schloss Dagstuhl - Leibniz Center for Informatics