Rewriting and narrowing for constructor systems with call-time choice semantics | Publicación