1. Compositional Specification in Rewriting Logic. Issue 1 (9th October 2019) Authors: MARTÍN, ÓSCAR; VERDEJO, ALBERTO; MARTÍ-OLIET, NARCISO Journal: Theory and practice of logic programming Issue: Volume 20:Issue 1(2020) Page Start: 44 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗