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]
No references recorded for this publication.
No citations of this publication recorded.