Modular Reasoning in the Presence of Event Subtyping | Publicación