@misc{indiciaee2b419c04faf,
  title = {Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics},
  author = {Keith J. C. Johnson and Rahul Krishnan and Thomas Reps and Loris D'Antoni},
  year = {2024},
  url = {https://arxiv.org/abs/2408.15822},
  note = {Source identifier: 2408.15822}
}