A completion procedure for conditional equationst†
Under an Elsevier user license
open archive
Cited by (0)
- †
A preliminary version of this paper has appeared in the Proceedings of the First International Workshop on Conditional Term Rewriting, Orsay, June 1987, Springer Lecture Notes in Computer Science, 1988.
- ‡
This work was partially supported by the ESPRIT-project PROSPECTRA, ref. no. 390, at the University of Dortmund, Germany.
Copyright © 1991 Published by Elsevier Ltd.