APA-Zitierstil (7. Ausg.)

Peltier, N., & Sofronie-Stokkermans, V. (2020). Automated Reasoning: 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020 : proceedings, part II. Springer. https://doi.org/10.1007/978-3-030-51054-1

Chicago-Zitierstil (17. Ausg.)

Peltier, Nicolas, und Viorica Sofronie-Stokkermans. Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020 : Proceedings, Part II. Cham: Springer, 2020. https://doi.org/10.1007/978-3-030-51054-1.

MLA-Zitierstil (9. Ausg.)

Peltier, Nicolas, und Viorica Sofronie-Stokkermans. Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020 : Proceedings, Part II. Springer, 2020. https://doi.org/10.1007/978-3-030-51054-1.