APA Style
BENZMULLER, C. et al (2023).
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I (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 I".
1
Zurich, Switzerland:
Springer International Publishing,
2023.
Text.