Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings - Pientka, Brigitte. (Springer International Publishing AG, 2023)