Dong, H.; Shi, Z.; Zeng, H.; Liu, Y. An Automatic Sound and Complete Abstraction Method for Generalized Planning With Baggable Types. AAAI 2025, 39, 14875-14884.