María Alpuente, Demis Ballis, Santiago Escobar 0001, Julia Sapiña. Optimization of rewrite theories by equational partial evaluation. J. Log. Algebr. Meth. Program., 124:100729, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.