Model and Event Log Reductions to Boost the Computation of Alignments | Publicación