APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

IJCAR Online, et al. Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020 : Proceedings, Part I. Springer, 2020. https://doi.org/10.1007/978-3-030-51074-9.