TY  - RPRT
TI  - Symbolic Analysis of Maude Theories with Narval
AU  - María Alpuente
AU  - Demis Ballis
AU  - Santiago Escobar
AU  - Julia Sapiña
PY  - 2019
UR  - https://arxiv.org/abs/1907.10919
ID  - 1907.10919
ER  -