SbReve2: a term rewriting laboratory with (AC-) unfailing completion

• Authors:

• S. Anatharaman;J. Hsiang;J. Mzali

• Affiliations:

• -;-;-

• Venue:
• RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
• Year:
• 1989