APA Style

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

MLA Style

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