M. Raza and S. Gulwani, “Disjunctive Program Synthesis: A Robust Approach to Programming by Example”, AAAI, vol. 32, no. 1, Apr. 2018.