APA (7th ed.) Citation

Dong, H., Shi, Z., Zeng, H., & Liu, Y. (2025). An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types.

Chicago Style (17th ed.) Citation

Dong, Hao, Zheyuan Shi, Hemeng Zeng, and Yongmei Liu. An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types. 2025.

MLA (9th ed.) Citation

Dong, Hao, et al. An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types. 2025.