Composing Programs in a Rewriting Logic for Declarative Programming.

Juan M. Molina-Bravo Ernesto Pimentel Composing Programs in a Rewriting Logic for Declarative Programming. 189-221 2003 3 TPLP 2 db/journals/tplp/tplp3.html#Molina-BravoP03