arXiv 2002-03-04 EN Composing Programs in a Rewriting Logic for Declarative Programming Molina, Juan M. · Pimentel, Ernesto
