Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

Robert Nieuwenhuis Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings RTA Lecture Notes in Computer Science 2706 Springer 2003 3-540-40254-3 db/conf/rta/rta2003.html