Equational speci complete term rewriting systems, and computable and semicomputable algebras (1995)

by Jan Bergstra, John Tucker
Venue:Journal of the Association for Computing Machinery