M. Raza, S. Gulwani, and N. Milic-Frayling, “Programming by Example Using Least General Generalizations”, AAAI, vol. 28, no. 1, Jun. 2014.