Bibel, W. (1982). Automated Theorem Proving. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-90100-2
Chicago-Zitierstil (17. Ausg.)Bibel, Wolfgang. Automated Theorem Proving. Wiesbaden: Vieweg+Teubner Verlag, 1982. https://doi.org/10.1007/978-3-322-90100-2.
MLA-Zitierstil (9. Ausg.)Bibel, Wolfgang. Automated Theorem Proving. Vieweg+Teubner Verlag, 1982. https://doi.org/10.1007/978-3-322-90100-2.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.