Rewriting and call-time choice: the HO case | Publicación