APA (7th ed.) Citation

Sun, J., Tang, Y., Li, A., Maddison, C. J., & Meel, K. S. (2025). Enumerate-Conjecture-Prove.

Chicago Style (17th ed.) Citation

Sun, Jialiang, Yuzhi Tang, Ao Li, Chris J. Maddison, and Kuldeep S. Meel. Enumerate-Conjecture-Prove. 2025.

MLA (9th ed.) Citation

Sun, Jialiang, et al. Enumerate-Conjecture-Prove. 2025.