@article{adividealignconquerstrategyforprogram,
  title = {A Divide-Align-Conquer Strategy for Program Synthesis},
  author = {Jonas Witt and Sebastijan Dumančić and Tias Guns and Claus-Christian Carbon},
  year = {2023},
  eprint = {2301.03094},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2301.03094v2},
}