APA (7th ed.) Citation
BARBOSA, H., BARRETT, C., COOK, B., DUTERTRE, B., KREMER, G., LACHNITT, H., . . . ZOHAR, Y. (2023). Generating and Exploiting Automated Reasoning Proof Certificates: Moving toward a full suite of proof-producing automated reasoning tools with SMT solvers that can produce full, independently checkable proofs for real-world problems. Communications of the ACM, 66(10), 86-96.
Chicago Style (17th ed.) Citation
BARBOSA, HANIEL, et al. "Generating and Exploiting Automated Reasoning Proof Certificates: Moving Toward a Full Suite of Proof-producing Automated Reasoning Tools with SMT Solvers That Can Produce Full, Independently Checkable Proofs for Real-world Problems." Communications of the ACM 66, no. 10 (2023): 86-96.
MLA (9th ed.) Citation
BARBOSA, HANIEL, et al. "Generating and Exploiting Automated Reasoning Proof Certificates: Moving Toward a Full Suite of Proof-producing Automated Reasoning Tools with SMT Solvers That Can Produce Full, Independently Checkable Proofs for Real-world Problems." Communications of the ACM, vol. 66, no. 10, 2023, pp. 86-96.
Warning: These citations may not always be 100% accurate.