APA Style

PIENTKA, B., TINELLI, C. (2023). Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings (1). Zurich, Switzerland: Springer International Publishing.

MLA Style

PIENTKA, Brigitte., TINELLI, Cesare. "Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings". 1 Zurich, Switzerland: Springer International Publishing, 2023. Text.