Ahrendt, W., Beckert, B., Giese, M., & Rümmer, P. (2010). Practical Aspects of Automated Deduction for Program Verification. KI. Künstliche Intelligenz (Oldenbourg), 24(1), 43-49. https://doi.org/10.1007/s13218-010-0001-y
Chicago-Zitierstil (17. Ausg.)Ahrendt, Wolfgang, Bernhard Beckert, Martin Giese, und Philipp Rümmer. "Practical Aspects of Automated Deduction for Program Verification." KI. Künstliche Intelligenz (Oldenbourg) 24, no. 1 (2010): 43-49. https://doi.org/10.1007/s13218-010-0001-y.
MLA-Zitierstil (9. Ausg.)Ahrendt, Wolfgang, et al. "Practical Aspects of Automated Deduction for Program Verification." KI. Künstliche Intelligenz (Oldenbourg), vol. 24, no. 1, 2010, pp. 43-49, https://doi.org/10.1007/s13218-010-0001-y.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.