J. Segovia-Aguas, S. Jiménez, and A. Jonsson, “Generalized Planning with Positive and Negative Examples”, AAAI, vol. 34, no. 06, pp. 9949-9956, Apr. 2020.