Raza, M.; Gulwani, S.; Milic-Frayling, N. Programming by Example Using Least General Generalizations. AAAI 2014, 28.