@Article{Casas-Ramos25_EAAI,
  author = 	 {J. {Casas-Ramos} and M. Lama and M. Mucientes},
  title = 	 {{DeclareAligner}: A Leap Towards Efficient Optimal Alignments for Declarative Process Model Conformance Checking},
  journal = 	 {Engineering Applications of Artificial Intelligence},
  year = 	 {2025},
  volume = 	 {160},
  pages = 	 {111683}
}