Farbod Taymouri Josep Carmona 0001 Model and Event Log Reductions to Boost the Computation of Alignments. 1-21 2016 SIMPDA (Revised Selected Papers) https://doi.org/10.1007/978-3-319-74161-1_1 conf/simpda/2016s db/conf/simpda/simpda2016s.html#TaymouriC16a