%0 Journal Article %1 journals/jlp/Meseguer12 %A Meseguer, José %D 2012 %J J. Log. Algebraic Methods Program. %K dblp %N 7-8 %P 721-781 %T Twenty years of rewriting logic. %U http://dblp.uni-trier.de/db/journals/jlp/jlp81.html#Meseguer12 %V 81

@article{journals/jlp/Meseguer12, added-at = {2023-09-20T00:00:00.000+0200}, author = {Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/26c608419e73f1b4a1a5174b07fb804e1/dblp}, ee = {https://doi.org/10.1016/j.jlap.2012.06.003}, interhash = {115840f836d2c3a7c529ba96fa1d8631}, intrahash = {6c608419e73f1b4a1a5174b07fb804e1}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = {7-8}, pages = {721-781}, timestamp = {2024-04-08T10:50:13.000+0200}, title = {Twenty years of rewriting logic.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp81.html#Meseguer12}, volume = 81, year = 2012 }