Cita APA (7a ed.)

Inchaurrondo, C. I., Montejano, G. A., & Figueiredo, L. C. d. (2011). Estudio y desarrollo de herramientas sobre probadores de teoremas.

Cita Chicago Style (17a ed.)

Inchaurrondo, Claudia Inés, Germán Antonio Montejano, y Lucília Camarão de Figueiredo. Estudio Y Desarrollo De Herramientas Sobre Probadores De Teoremas. 2011.

Cita MLA (8a ed.)

Inchaurrondo, Claudia Inés, et al. Estudio Y Desarrollo De Herramientas Sobre Probadores De Teoremas. 2011.