Semantics for Modules in Functional-Logic Programming. - Juan M. Molina-Bravo; Ernesto Pimentel 001 (APPIA-GULP-PRODE, 1997)

Modularity in Functional-Logic Programming. - Juan M. Molina-Bravo; Ernesto Pimentel 001 (ICLP, 1997)

Composing Programs in a Rewriting Logic for Declarative Programming. - Juan M. Molina-Bravo; Ernesto Pimentel 001 (Theory Pract. Log. Program., 2003)