Cita APA

Wos, L., Overbeek, R., Lusk, E., & Boyle, J. (1984). Automated reasoning: Introduction and applications. Englewood Cliffs, N.J.: Prentice Hall.

Citación estilo Chicago

Wos, Larry, Ross Overbeek, Ewing Lusk, y Jim Boyle. Automated Reasoning: Introduction and Applications. Englewood Cliffs, N.J.: Prentice Hall, 1984.

Cita MLA

Wos, Larry, Ross Overbeek, Ewing Lusk, y Jim Boyle. Automated Reasoning: Introduction and Applications. Englewood Cliffs, N.J.: Prentice Hall, 1984.