Cita APA (7a ed.)

Bibel, W. (1982). Automated theorem proving. Friedr. Vieweg & Sohn.

Cita Chicago Style (17a ed.)

Bibel, Wolfgang. Automated Theorem Proving. Braunschweig [etc.]: Friedr. Vieweg & Sohn, 1982.

Cita MLA (9a ed.)

Bibel, Wolfgang. Automated Theorem Proving. Friedr. Vieweg & Sohn, 1982.