Cita APA (7a ed.)
Loveland, D. W. (1978). Automated theorem proving: A logical basis. ([1. vyd.].). North-Holland Publishing Company.
Cita Chicago Style (17a ed.)
Loveland, Donald W. Automated Theorem Proving: A Logical Basis. [1. vyd.]. New York: North-Holland Publishing Company, 1978.
Cita MLA (9a ed.)
Loveland, Donald W. Automated Theorem Proving: A Logical Basis. [1. vyd.]. North-Holland Publishing Company, 1978.
Precaución: Estas citas no son 100% exactas.