APA (7th ed.) Citation

Sun, Z., Ye, Q., & Deng, D. (2026). Quantum automated theorem proving.

Chicago Style (17th ed.) Citation

Sun, Zheng-Zhi, Qi Ye, and Dong-Ling Deng. Quantum Automated Theorem Proving. 2026.

MLA (9th ed.) Citation

Sun, Zheng-Zhi, et al. Quantum Automated Theorem Proving. 2026.