A simple rewrite notion for call-time choice semantics | Publicación