TY  - RPRT
TI  - The Maude strategy language
AU  - Steven Eker
AU  - Narciso Martí-Oliet
AU  - José Meseguer
AU  - Rubén Rubio
AU  - Alberto Verdejo
PY  - 2024
DO  - 10.1016/j.jlamp.2023.100887
UR  - https://arxiv.org/abs/2402.00275
ID  - 2402.00275
ER  -