José Meseguer. Twenty years of rewriting logic. Journal of Logic and Algebraic Programming, 81(7-8):721-781, 2012. [doi]
@article{Meseguer12, title = {Twenty years of rewriting logic}, author = {José Meseguer}, year = {2012}, doi = {10.1016/j.jlap.2012.06.003}, url = {http://dx.doi.org/10.1016/j.jlap.2012.06.003}, researchr = {https://researchr.org/publication/Meseguer12}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {81}, number = {7-8}, pages = {721-781}, }