A Divide-Align-Conquer Strategy for Program Synthesis. - Jonas Witt; Stef Rasing; Sebastijan Dumancic; Tias Guns; Claus-Christian Carbon (CoRR, 2023)