by Robert Nieuwenhuis
Rewriting Techniques and Applications: 14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings<br />Author: Robert Nieuwenhuis<br /> Published by Springer Berlin Heidel…