APA Style

Benzmüller, C. (2024). Automated Reasoning (12th International Joint Conference, IJCAR 2024) Nancy, France, July 3–6, 2024 Proceedings, Part I (Part 1 - LNAI 14739). : Springer.

MLA Style

Benzmüller, Christoph. "Automated Reasoning (12th International Joint Conference, IJCAR 2024) Nancy, France, July 3–6, 2024 Proceedings, Part I". Part 1 - LNAI 14739 : Springer, 2024. Text.