Cita APA (7a ed.)
DE MOURA, L., & BJØRNER, N. (2011). Satisfiability Modulo Theories: Introduction and Applications. Communications of the ACM, 54(9), 69-78.
Cita Chicago Style (17a ed.)
DE MOURA, LEONARDO, y NIKOLAJ BJØRNER. "Satisfiability Modulo Theories: Introduction and Applications." Communications of the ACM 54, no. 9 (2011): 69-78.
Cita MLA (9a ed.)
DE MOURA, LEONARDO, y NIKOLAJ BJØRNER. "Satisfiability Modulo Theories: Introduction and Applications." Communications of the ACM, vol. 54, no. 9, 2011, pp. 69-78.
Precaución: Estas citas no son 100% exactas.