J. Segovia Aguas, S. Jimenez Celorrio, and A. Jonsson, “Generalized Planning with Procedural Domain Control Knowledge”, ICAPS, vol. 26, no. 1, pp. 285–293, Mar. 2016.