Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. - Pientka, Brigitte. (Lecture Notes in Computer Science Series, 2023)