TY  - RPRT
TI  - DeclareAligner: A Leap Towards Efficient Optimal Alignments for Declarative Process Model Conformance Checking
AU  - Jacobo Casas-Ramos
AU  - Manuel Lama
AU  - Manuel Mucientes
PY  - 2025
DO  - 10.1016/j.engappai.2025.111683
UR  - https://arxiv.org/abs/2503.10479
ID  - 2503.10479
ER  -