The construction of a complete minimal set of contextual normal forms

This publication has 3 references indexed in Scilit:

• Computer experiments with the REVE term rewriting system generator
  Published by Association for Computing Machinery (ACM) ,1983
• Proofs by induction in equational theories with constructors
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1980
• Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.
  Published by Elsevier ,1970