SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.
Journal
Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings
Pages
533-537
Date Issued
1989
Author(s)
Type
conference paper