Bahr, P.,
2011,
22nd International Conference on Rewriting Techniques and Applications (RTA'11). Schmidt-Schauß, M. (ed.).
Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
p. 139-154 16 p. (Leibniz International Proceedings in Informatics, Vol. 10).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review