Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA'10) RTA’10, July 11–13, 2010, Edinburgh, UK - Lynch, Christopher (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2010)