Complexity of Finitely Presented Algebras (1977)

by D Kozen
Venue:In Conference Record of the Ninth Annual ACM Symposium on Theory of Computing