L. Illanes and S. A. McIlraith, “Generalized Planning via Abstraction: Arbitrary Numbers of Objects”, AAAI, vol. 33, no. 01, pp. 7610-7618, Jul. 2019.