DeclareAligner: A leap towards efficient optimal alignments for declarative process model conformance checking | Publicación