22nd International Conference on Rewriting Techniques and Applications (RTA 2011)

Manfred Schmidt-Schauss and Aart Middeldorp (eds.)
special issue, Logical Methods in Computer Science, 2013