TY  - RPRT
TI  - Symbolic Specialization of Rewriting Logic Theories with Presto
AU  - María Alpuente
AU  - Demis Ballis
AU  - Santiago Escobar
AU  - Julia Sapiña
PY  - 2021
UR  - https://arxiv.org/abs/2112.10201
ID  - 2112.10201
ER  -