International Conference on Automated Deduction Kaiserslautern & Stickel, M. E. (1990). Proceedings: Kaiserslautern, FRG, July 24 - 27, 1990. Springer.
Chicago-Zitierstil (17. Ausg.)International Conference on Automated Deduction Kaiserslautern und Mark E. Stickel. Proceedings: Kaiserslautern, FRG, July 24 - 27, 1990. Berlin [u.a.]: Springer, 1990.
MLA-Zitierstil (9. Ausg.)International Conference on Automated Deduction Kaiserslautern und Mark E. Stickel. Proceedings: Kaiserslautern, FRG, July 24 - 27, 1990. Springer, 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.