Process Mining Meets Abstract Interpretation | Publicación