Bibel, W. (1982). Automated theorem proving. Vieweg.
Chicago-Zitierstil (17. Ausg.)Bibel, Wolfgang. Automated Theorem Proving. Braunschweig (u.a.): Vieweg, 1982.
MLA-Zitierstil (9. Ausg.)Bibel, Wolfgang. Automated Theorem Proving. Vieweg, 1982.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.