Cita APA (7a ed.)
Benzmüller, C., Heule, M. J., & Schmidt, R. A. (2024). Automated Reasoning. Springer Nature Switzerland.
Cita Chicago Style (17a ed.)
Benzmüller, Christoph, Marijn J.H Heule, y Renate A. Schmidt. Automated Reasoning. Springer Nature Switzerland, 2024.
Cita MLA (9a ed.)
Benzmüller, Christoph, et al. Automated Reasoning. Springer Nature Switzerland, 2024.
Precaución: Estas citas no son 100% exactas.