H. Dong, Z. Shi, H. Zeng, and Y. Liu, “An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types”, AAAI, vol. 39, no. 14, pp. 14875–14884, Apr. 2025.