TY  - RPRT
TI  - Programming and Symbolic Computation in Maude
AU  - Francisco Durán
AU  - Steven Eker
AU  - Santiago Escobar
AU  - Narciso Martí-Oliet
AU  - José Meseguer
AU  - Rubén Rubio
AU  - Carolyn Talcott
PY  - 2019
DO  - 10.1016/j.jlamp.2019.100497
UR  - https://arxiv.org/abs/1910.08416
ID  - 1910.08416
ER  -