Cita APA (7a ed.)

Frías Delgado, A. (1992). Programas para deducción automatizada en lógica proposicional. Universidad, Servicio de Publicaciones.

Cita Chicago Style (17a ed.)

Frías Delgado, Antonio. Programas Para Deducción Automatizada En Lógica Proposicional. Cádiz: Universidad, Servicio de Publicaciones, 1992.

Cita MLA (9a ed.)

Frías Delgado, Antonio. Programas Para Deducción Automatizada En Lógica Proposicional. Universidad, Servicio de Publicaciones, 1992.