Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings - Bowles, Juliana. (Springer Nature Switzerland,)