Complexity of finitely represented algebras (1988)

by D Kozen
Venue:In Proc. 9th ACM STOC