APA (7th ed.) Citation

De Moura, L., & Bjorner, N. (2011). Satisfiability Modulo Theories: Introduction and Applications. Communications of the ACM, 54(9), 69. https://doi.org/10.1145/1995376.1995394

Chicago Style (17th ed.) Citation

De Moura, Leonardo, and Nikolaj Bjorner. "Satisfiability Modulo Theories: Introduction and Applications." Communications of the ACM 54, no. 9 (2011): 69. https://doi.org/10.1145/1995376.1995394.

MLA (9th ed.) Citation

De Moura, Leonardo, and Nikolaj Bjorner. "Satisfiability Modulo Theories: Introduction and Applications." Communications of the ACM, vol. 54, no. 9, 2011, p. 69, https://doi.org/10.1145/1995376.1995394.