(2007). Automated deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007 ; Proceedings. Berlin [u.a.]: Springer, 2007.
MLA-Zitierstil (9. Ausg.)Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007 ; Proceedings. Springer, 2007.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.