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.
Chicago Style (17th ed.) CitationOrbe, Alejandro Ezequiel, and Carlos Eduardo Areces. Simetrías En Razonamiento Automático: El Caso De Las Lógicas Modales Y Satisfacibilidad Módulo Teorías. 2016.
MLA (9th ed.) CitationOrbe, Alejandro Ezequiel, and Carlos Eduardo Areces. Simetrías En Razonamiento Automático: El Caso De Las Lógicas Modales Y Satisfacibilidad Módulo Teorías. 2016.