Modular reasoning in the presence of event subtyping | Publicación