(1)
Segovia-Aguas, J.; Jiménez, S.; Jonsson, A. Generalized Planning With Positive and Negative Examples. AAAI 2020, 34, 9949-9956.