You are about to access our book library "Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings (Lecture Notes in Computer Science Book 14919) full version"
.