APA (7th ed.) Citation

Loveland, D. W. (1978). Automated theorem proving: A logical basis. North-Holland Pub. Co..

Chicago Style (17th ed.) Citation

Loveland, Donald W. Automated Theorem Proving: A Logical Basis. Amsterdam ; New York: North-Holland Pub. Co., 1978.

MLA (9th ed.) Citation

Loveland, Donald W. Automated Theorem Proving: A Logical Basis. North-Holland Pub. Co., 1978.