1. Symbolic Analysis of Maude Theories with Narval. Issue 5 (September 2019) Authors: ALPUENTE, MARÍA; ESCOBAR, SANTIAGO; SAPIÑA, JULIA; BALLIS, DEMIS Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 874 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗