APA stil citiranja

Loveland, D. W. (1978). Automated theorem proving: Automated theorem proving : A LOGICAL BASIS (1. izd.). North-Holland Publishing Company.

Chicago stil citiranja

Loveland, Donald W. Automated theorem proving: Automated theorem proving : A LOGICAL BASIS. 1. izd. North-Holland Publishing Company, 1978.

MLA stil citiranja

Loveland, Donald W. Automated theorem proving: Automated theorem proving : A LOGICAL BASIS. 1. izd. North-Holland Publishing Company, 1978.