"Proceedings of the 22nd International Conference on Rewriting Techniques ..."

Manfred Schmidt-Schauß (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics