APA Style

BENZMULLER, C. et al (2024). Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II (1). Zurich, Switzerland: Springer International Publishing.

MLA Style

BENZMULLER, Christoph. et al. "Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II". 1 Zurich, Switzerland: Springer International Publishing, 2024. Text.