An A*-Algorithm for Computing Discounted Anti-Alignments in Process Mining | Publicación