Word problem requiring exponential time (0)

by L J Stockmeyer, A R Meyer
Venue:In Proceedings of Fifth Annual ACM Symposium on Theory of Computing (1973), ACM