APA (7th ed.) Citation

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 Style (17th ed.) Citation

Peltier, Nicolas, and 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 (9th ed.) Citation

Peltier, Nicolas, and 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.