APA (7th ed.) Citation

Loveland, D. W. (1978). Automated theorem proving: A logical basis. North-Holland Pub. Co. ; Sole distributor for the U.S.A. and Canada, Elsevier North-Holland.

Chicago Style (17th ed.) Citation

Loveland, Donald W. Automated Theorem Proving: A Logical Basis. Amsterdam ; New York : New York: North-Holland Pub. Co. ; Sole distributor for the U.S.A. and Canada, Elsevier North-Holland, 1978.

MLA (9th ed.) Citation

Loveland, Donald W. Automated Theorem Proving: A Logical Basis. North-Holland Pub. Co. ; Sole distributor for the U.S.A. and Canada, Elsevier North-Holland, 1978.