TY  - JOUR
AU  - López Fraguas, Francisco J.
AU  - Martín Martín, Enrique
AU  - Rodríguez Hortalá, Juan
AU  - Sánchez Hernández, Jaime
PY  - 2014
DO  - 10.1017/S1471068412000373
SN  - 1471-0684
UR  - https://hdl.handle.net/20.500.14352/35084
T2  - Theory and Practice of Logic Programming
AB  - Non-confluent and non-terminating constructor-based term rewrite systems are useful for the purpose of specification and programming. In particular, existing functional logic languages use such kind of rewrite systems to define possibly non-strict...
LA  - eng
M2  - 165
PB  - Cambridge University Press
KW  - Term rewriting systems
KW  - constructor-based rewriting logic
KW  - narrowing
KW  - nondeterminism
KW  - call-time choice semantics
KW  - sharing
KW  - local bindings
TI  - Rewriting and narrowing for constructor systems with call-time choice semantics
TY  - journal article
VL  - March
ER  -