@misc{indiciae92d31d8a39f4,
  title = {EviDC: A Violation-Guided Algorithm for Incremental Denial Constraint Discovery},
  author = {Qian Zhou and Xixian Han and Xiaolong Wan},
  year = {2026},
  url = {https://arxiv.org/abs/2607.24021},
  note = {Source identifier: 2607.24021}
}