Narrowing-based Optimization of Rewrite Theories
María Alpuente Frasnedo, Demis Ballis, Santiago Escobar Román, Julia Sapiña Sanchis · 2020
This work has been partially supported by the EU (FEDER) and the Spanish MCIU under grant RTI2018094403-B-C32,andbyGeneralitatValencianaundergrantPROMETEO/2019/098. JuliaSapinahasbeensupported by the Generalitat Valenciana APOSTD/2019/127 grant