Dong, Hao, Zheyuan Shi, Hemeng Zeng, and Yongmei Liu. “An Automatic Sound and Complete Abstraction Method for Generalized Planning With Baggable Types”. Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 14 (April 11, 2025): 14875–14884. Accessed May 7, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/33631.