TY  - RPRT
TI  - Composing Programs in a Rewriting Logic for Declarative Programming
AU  - Juan M. Molina
AU  - Ernesto Pimentel
PY  - 2002
UR  - https://arxiv.org/abs/cs/0203006
ID  - cs/0203006
ER  -