Journal of Automated Reasoning. Springer Netherlands.
Chicago-Zitierstil (17. Ausg.)Journal of Automated Reasoning. Springer Netherlands.
MLA-Zitierstil (9. Ausg.)Journal of Automated Reasoning. Springer Netherlands.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.