APA (7th ed.) Citation

Nevins, A. J. (1972). A human oriented logic for automatic theorem proving. Artificial Intelligence Lab.

Chicago Style (17th ed.) Citation

Nevins, Arthur J. A Human Oriented Logic for Automatic Theorem Proving. Cambridge, Mass: Artificial Intelligence Lab, 1972.

MLA (9th ed.) Citation

Nevins, Arthur J. A Human Oriented Logic for Automatic Theorem Proving. Artificial Intelligence Lab, 1972.