Coniglio, M. (1989). Verificación automática de teoremas por tableux analíticos y extensión a sistemas de primer orden con igualdad. Universidad Nacional. Facultad de Ciencias Exactas y Naturales.
Cita Chicago Style (17a ed.)Coniglio, Marcelo. Verificación Automática De Teoremas Por Tableux Analíticos Y Extensión a Sistemas De Primer Orden Con Igualdad. Mar del Plata: Universidad Nacional. Facultad de Ciencias Exactas y Naturales, 1989.
Cita MLA (8a ed.)Coniglio, Marcelo. Verificación Automática De Teoremas Por Tableux Analíticos Y Extensión a Sistemas De Primer Orden Con Igualdad. Universidad Nacional. Facultad de Ciencias Exactas y Naturales, 1989.
Precaución: Estas citas no son 100% exactas.