Funez, D., Roggero, P., & Leguizamón, G. (2006). Un ambiente integrado de ejecución para determinar la satisfacibilidad de fórmulas en forma normal conjuntiva.
Cita Chicago Style (17a ed.)Funez, Dario, Patricia Roggero, y Guillermo Leguizamón. Un Ambiente Integrado De Ejecución Para Determinar La Satisfacibilidad De Fórmulas En Forma Normal Conjuntiva. 2006.
Cita MLA (8a ed.)Funez, Dario, et al. Un Ambiente Integrado De Ejecución Para Determinar La Satisfacibilidad De Fórmulas En Forma Normal Conjuntiva. 2006.
Precaución: Estas citas no son 100% exactas.