APA (7th ed.) Citation

Wos, L. (1988). Automated reasoning: 33 basic research problems. Prentice-Hall.

Chicago Style (17th ed.) Citation

Wos, Larry. Automated Reasoning: 33 Basic Research Problems. Englewood Cliffs, NJ: Prentice-Hall, 1988.

MLA (9th ed.) Citation

Wos, Larry. Automated Reasoning: 33 Basic Research Problems. Prentice-Hall, 1988.

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