@misc{indiciae435d6fc44ad5,
  title = {Verifying Procedural Programs via Constrained Rewriting Induction},
  author = {Carsten Fuhs and Cynthia Kop and Naoki Nishida},
  year = {2025},
  doi = {10.1145/3060143},
  url = {https://arxiv.org/abs/1409.0166},
  note = {Source identifier: 1409.0166}
}