by Leo Bachmair
Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings<br />Author: Leo Bachmair<br /> Published by Springer Berlin Heidelberg<br…