Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo. The Maude strategy language. J. Log. Algebr. Meth. Program., 134:100887, August 2023. [doi]
@article{EkerMMRV23,
title = {The Maude strategy language},
author = {Steven Eker and Narciso Martí-Oliet and José Meseguer and Rubén Rubio and Alberto Verdejo},
year = {2023},
month = {August},
doi = {10.1016/j.jlamp.2023.100887},
url = {https://doi.org/10.1016/j.jlamp.2023.100887},
researchr = {https://researchr.org/publication/EkerMMRV23},
cites = {0},
citedby = {0},
journal = {J. Log. Algebr. Meth. Program.},
volume = {134},
pages = {100887},
}