An overview of Rewrite Rule Laboratory (RRL)

This publication has 15 references indexed in Scilit:

• RRL: A rewrite rule laboratory
  Published by Springer Nature ,2005
• Proving equivalence of different axiomatizations of free groups
  Journal of Automated Reasoning, 1988
• Matching, unification and complexity
  ACM SIGSAM Bulletin, 1987
• On sufficient-completeness and related properties of term rewriting systems
  Acta Informatica, 1987
• Termination of rewriting
  Journal of Symbolic Computation, 1987
• A new method for establishing refutational completeness in theorem proving
  Published by Springer Nature ,1986
• Proof by induction using test sets
  Published by Springer Nature ,1986
• An equational approach to theorem proving in first-order predicate calculus
  ACM SIGSOFT Software Engineering Notes, 1985
• Refutational theorem proving using term-rewriting systems
  Artificial Intelligence, 1985
• On proving inductive properties of abstract data types
  Published by Association for Computing Machinery (ACM) ,1980