Model and Event Log Reductions to Boost the Computation of Alignments. - Taymouri, Farbod; Carmona, Josep (2016)