Computing Alignments of Well-Formed Process Models using Local Search | Publicación