@misc{indiciae554141421884,
  title = {Programming and Symbolic Computation in Maude},
  author = {Francisco Durán and Steven Eker and Santiago Escobar and Narciso Martí-Oliet and José Meseguer and Rubén Rubio and Carolyn Talcott},
  year = {2019},
  doi = {10.1016/j.jlamp.2019.100497},
  url = {https://arxiv.org/abs/1910.08416},
  note = {Source identifier: 1910.08416}
}