SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion

• Authors:

• Siva Anantharaman;Jieh Hsiang;Jalel Mzali

• Affiliations:

• -;-;-

• Venue:
• RTA '89 Proceedings of the 3rd International Conference on Rewriting Techniques and Applications
• Year:
• 1989