Kirchner, Claude; Kirchner, Hélène REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies. (English) Zbl 0635.68017 Sci. Comput. Program. 8, 69-86 (1987). Summary: This paper describes REVEUR-3, a software that implements a general completion procedure, REVEUR-3 allows working with built-in theories and strategies and is aimed to perform proofs and experiments in term rewriting systems. These features are illustrated by experimental results. Cited in 5 Documents MSC: 68Q65 Abstract data types; algebraic specification 68N01 General topics in the theory of software Keywords:REVEUR-3; completion procedure; built-in theories; strategies; term rewriting systems PDFBibTeX XMLCite \textit{C. Kirchner} and \textit{H. Kirchner}, Sci. Comput. Program. 8, 69--86 (1987; Zbl 0635.68017) Full Text: DOI