@misc{indiciae09e700fca8b6,
  title = {Verifying Data Constraint Equivalence in FinTech Systems},
  author = {Chengpeng Wang and Gang Fan and Peisen Yao and Fuxiong Pan and Charles Zhang},
  year = {2023},
  url = {https://arxiv.org/abs/2301.11011},
  note = {Source identifier: 2301.11011}
}