APA Citation

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

Chicago Style Citation

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

MLA Citation

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

Warning: These citations may not always be 100% accurate.