Citazione Stile APA (7a Edizione)
Loveland, D. W. (1978). Automated theorem proving: A logical basis. ([1. vyd.].). North-Holland Publishing Company.
Citazione stile Chigago Style (17a edizione)
Loveland, Donald W. Automated Theorem Proving: A Logical Basis. [1. vyd.]. New York: North-Holland Publishing Company, 1978.
Citatione MLA (9a ed.)
Loveland, Donald W. Automated Theorem Proving: A Logical Basis. [1. vyd.]. North-Holland Publishing Company, 1978.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.