Bahr, P.,
2010,
Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Lynch, C. (ed.).
Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
p. 67-84 19 p. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 6).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review