Reconciling enumerative and deductive program synthesis. - Kangjing Huang; Xiaokang Qiu; Peiyuan Shen; Yanjun Wang (PLDI, 2020)