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). Cham: Springer Cham.

MLA Style

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