@misc{indiciaeb6d6c51d989d,
  title = {Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)},
  author = {Reiner Hähnle and Cosimo Laneve and Adele Veschetti},
  year = {2025},
  url = {https://arxiv.org/abs/2509.20421},
  note = {Source identifier: 2509.20421}
}