@inproceedings{vergu2015dynsem,
 author = {<NAME> <NAME> <NAME>},
 booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
 organization = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik},
 title = {DynSem: A DSL for dynamic semantics specification},
 year = {2015}
}

