Rewriting and Call-Time Choice: The HO Case | Publicación