Illanes, L.; McIlraith, S. A. Generalized Planning via Abstraction: Arbitrary Numbers of Objects. AAAI 2019, 33, 7610-7618.