Cita APA (7a ed.)
Pozzato, G. L., & Uustalu, T. (2025). Automated Reasoning with Analytic Tableaux and Related Methods. Springer Nature Switzerland.
Cita Chicago Style (17a ed.)
Pozzato, Gian Luca, y Tarmo Uustalu. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Nature Switzerland, 2025.
Cita MLA (9a ed.)
Pozzato, Gian Luca, y Tarmo Uustalu. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Nature Switzerland, 2025.
Precaución: Estas citas no son 100% exactas.