@InProceedings{Casas-Ramos25_bpm,
  author = 	 {J. {Casas-Ramos} and S. Winkler and A. Gianola and M. Montali and M. Mucientes and M. Lama},
  title = 	 {Efficient Conformance Checking of Rich Data-Aware Declare Specifications},
  booktitle = 	 {23rd International Conference on Business Process Management ({BPM})},
  year = 	 {2025}
}