@misc{indiciae8dcdda1d988e,
  title = {Proving correctness for SQL implementations of OCL constraints},
  author = {Hoang Nguyen and Manuel Clavel},
  year = {2025},
  url = {https://arxiv.org/abs/2403.18599},
  note = {Source identifier: 2403.18599}
}