@misc{indiciae33bfe485ee7a,
  title = {Inductive Predicate Synthesis Modulo Programs (Extended)},
  author = {Scott Wesley and Maria Christakis and Jorge A. Navas and Richard Trefler and Valentin Wüstholz and Arie Gurfinkel},
  year = {2024},
  url = {https://arxiv.org/abs/2407.08455},
  note = {Source identifier: 2407.08455}
}