APA (7th ed.) Citation

Pientka, B., & Tinelli, C. (2023). Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Springer Nature.

Chicago Style (17th ed.) Citation

Pientka, Brigitte, and Cesare Tinelli. Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Cham: Springer Nature, 2023.

MLA (9th ed.) Citation

Pientka, Brigitte, and Cesare Tinelli. Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Springer Nature, 2023.