Mac Donnell, P., & Aguirre, N. M. (2005). Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden.
Cita Chicago Style (17a ed.)Mac Donnell, Patricio, y Nazareno Matías Aguirre. Usando El Ambiente Maude Para La Demostración Semi-automática De Teoremas En Lógica Temporal Lineal De Primer Orden. 2005.
Cita MLA (8a ed.)Mac Donnell, Patricio, y Nazareno Matías Aguirre. Usando El Ambiente Maude Para La Demostración Semi-automática De Teoremas En Lógica Temporal Lineal De Primer Orden. 2005.
Precaución: Estas citas no son 100% exactas.