Language definitions as rewrite theories

Vlad Rusu, Dorel Lucanu, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu. Language definitions as rewrite theories. Journal of Logic and Algebraic Programming, 85(1):98-120, 2016. [doi]

@article{RusuLSASR16,
  title = {Language definitions as rewrite theories},
  author = {Vlad Rusu and Dorel Lucanu and Traian-Florin Serbanuta and Andrei Arusoaie and Andrei Stefanescu and Grigore Rosu},
  year = {2016},
  doi = {10.1016/j.jlamp.2015.09.001},
  url = {http://dx.doi.org/10.1016/j.jlamp.2015.09.001},
  researchr = {https://researchr.org/publication/RusuLSASR16},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {85},
  number = {1},
  pages = {98-120},
}