APA (7e ed.) Bronvermelding

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 (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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