H. Shrobe, B. Katz, and R. Davis, “Towards a Programmer’s Apprentice (Again)”, AAAI, vol. 29, no. 1, Mar. 2015.