@misc{indiciae17fedad35cf0,
  title = {A Divide-Align-Conquer Strategy for Program Synthesis},
  author = {Jonas Witt and Sebastijan Dumančić and Tias Guns and Claus-Christian Carbon},
  year = {2024},
  url = {https://arxiv.org/abs/2301.03094},
  note = {Source identifier: 2301.03094}
}