RTA 2011 May 30 - June 1, 2011, Novi Sad, Serbia 22nd International Conference on Rewriting Techniques and Applications (RTA'11)



Manfred Schmidt-Schauß (Ed.) ISBN 978-3-939897-30-9 , LIPICS Vol. 10 ISSN 1868-8969