Cita APA

Lopez Pombo, C. G., Castro, P., Aguirre, N. M., & Maibaum, T. S. (2019). Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. Web

Citación estilo Chicago

Lopez Pombo, Carlos Gustavo, Pablo Castro, Nazareno M. Aguirre, and Thomas S.E Maibaum. Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. 2019.

Cita MLA

Lopez Pombo, Carlos Gustavo, Pablo Castro, Nazareno M. Aguirre, and Thomas S.E Maibaum. Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. 2019.