APA-Zitierstil (7. Ausg.)

Bibel, W. (1987). Automated theorem proving (2., rev. ed.). Vieweg.

Chicago-Zitierstil (17. Ausg.)

Bibel, Wolfgang. Automated Theorem Proving. 2., rev. ed. Braunschweig <<[u.a.]>>: Vieweg, 1987.

MLA-Zitierstil (9. Ausg.)

Bibel, Wolfgang. Automated Theorem Proving. 2., rev. ed. Vieweg, 1987.