(1998). Automated deduction: A basis for applications. Kluwer.
Chicago-Zitierstil (17. Ausg.)Automated Deduction: A Basis for Applications. Dordrecht [u.a.]: Kluwer, 1998.
MLA-Zitierstil (9. Ausg.)Automated Deduction: A Basis for Applications. Kluwer, 1998.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.