J. V. Tucker
J. A. Bergstra and J. V. Tucker.
Equational specifications, complete term rewriting systems, and computable and semicomputable algebras.
Journal of the ACM
, 42(6):1194-1230, November 1995.
References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database