Orbe, A. E., & Areces, C. E. (2016). Simetrías en razonamiento automático: El caso de las lógicas modales y satisfacibilidad módulo teorías.
Cita Chicago Style (17a ed.)Orbe, Alejandro Ezequiel, y Carlos Eduardo Areces. Simetrías En Razonamiento Automático: El Caso De Las Lógicas Modales Y Satisfacibilidad Módulo Teorías. 2016.
Cita MLA (8a ed.)Orbe, Alejandro Ezequiel, y Carlos Eduardo Areces. Simetrías En Razonamiento Automático: El Caso De Las Lógicas Modales Y Satisfacibilidad Módulo Teorías. 2016.
Precaución: Estas citas no son 100% exactas.