@misc{indiciaed063ab0ec76b,
  title = {Complete first-order reasoning for functional programs},
  author = {Adithya Murali and Lucas Peña and Ranjit Jhala and P. Madhusudan},
  year = {2026},
  url = {https://arxiv.org/abs/2605.23022},
  note = {Source identifier: 2605.23022}
}