Witt, JonasJonasWittDumančić, SebastijanSebastijanDumančićGuns, TiasTiasGunsCarbon, Claus ChristianClaus ChristianCarbon0000-0002-3446-93472026-08-142026-08-1420251943-50371076-9757https://fis.uni-bamberg.de/handle/uniba/116834engA Divide, Align and Conquer Strategy For Program Synthesisarticle10.1613/jair.1.16847http://www.jair.org/index.php/jair/article/download/16847/27164