Citazione Stile APA (7a Edizione)

Li, Z., Duggan, C., Bright, C., & Ganesh, V. (2025). Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems.

Citazione stile Chigago Style (17a edizione)

Li, Zhengyu, Conor Duggan, Curtis Bright, e Vijay Ganesh. Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems. 2025.

Citatione MLA (9a ed.)

Li, Zhengyu, et al. Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems. 2025.