Rewriting techniques and applications 14th international conference, RTA 2003, Valencia, Spain, June 9 - 11, 2003 ; proceedings (Springer, 2003)
Includes bibliographical references and index