(1)
Raza, M.; Gulwani, S. Disjunctive Program Synthesis: A Robust Approach to Programming by Example. AAAI 2018, 32.