Complexity of finitely presented algebras (1977)

by D Kozen
Venue:Proceedings of the 9th Symposium, STOC