@misc{indiciae432b831e7f59,
  title = {Program Synthesis in Saturation},
  author = {Petra Hozzová and Laura Kovács and Chase Norman and Andrei Voronkov},
  year = {2024},
  doi = {10.1007/978-3-031-38499-8\_18},
  url = {https://arxiv.org/abs/2402.18962},
  note = {Source identifier: 2402.18962}
}