María Alpuente, Santiago Escobar 0001, Julia Sapiña, Demis Ballis. Symbolic Specialization of Rewriting Logic Theories with Presto. TPLP, 22(3):444-495, 2022. [doi]
@article{AlpuenteESB22,
title = {Symbolic Specialization of Rewriting Logic Theories with Presto},
author = {María Alpuente and Santiago Escobar 0001 and Julia Sapiña and Demis Ballis},
year = {2022},
doi = {10.1017/S1471068421000600},
url = {https://doi.org/10.1017/S1471068421000600},
researchr = {https://researchr.org/publication/AlpuenteESB22},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {22},
number = {3},
pages = {444-495},
}