REVE a rewrite rule laboratory

This publication has 5 references indexed in Scilit:

• Implementation of a general completion procedure parameterized by built-in theories and strategies
  Lecture Notes in Computer Science, 1985
• Two applications of equational theories to database theory
  Published by Springer Nature ,1985
• Petrireve: Proving Petri net properties with rewriting systems
  Published by Springer Nature ,1985
• Completion of a set of rules modulo a set of equations
  Published by Association for Computing Machinery (ACM) ,1984
• Computer experiments with the REVE term rewriting system generator
  Published by Association for Computing Machinery (ACM) ,1983