TY  - RPRT
TI  - Rewriting and narrowing for constructor systems with call-time choice semantics
AU  - Francisco J. López-Fraguas
AU  - Enrique Martin-Martin
AU  - Juan Rodríguez-Hortalá
AU  - Jaime Sánchez-Hernández
PY  - 2012
UR  - https://arxiv.org/abs/1209.2617
ID  - 1209.2617
ER  -