"26th International Conference on Rewriting Techniques and Applications, ..."

Maribel Fernández (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics