@misc{indiciae85d2989e7a7e,
  title = {DeclareAligner: A Leap Towards Efficient Optimal Alignments for Declarative Process Model Conformance Checking},
  author = {Jacobo Casas-Ramos and Manuel Lama and Manuel Mucientes},
  year = {2025},
  doi = {10.1016/j.engappai.2025.111683},
  url = {https://arxiv.org/abs/2503.10479},
  note = {Source identifier: 2503.10479}
}