Style de citation APA (7e éd.)
Loveland, D. W. (1978). Automated theorem proving: A logical basis. ([1. vyd.].). North-Holland Publishing Company.
Style de citation Chicago (17e éd.)
Loveland, Donald W. Automated Theorem Proving: A Logical Basis. [1. vyd.]. New York: North-Holland Publishing Company, 1978.
Style de citation MLA (9e éd.)
Loveland, Donald W. Automated Theorem Proving: A Logical Basis. [1. vyd.]. North-Holland Publishing Company, 1978.
Attention : ces citations peuvent ne pas être correctes à 100%.