Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings - Villanueva, Alicia (Cham Springer International Publishing AG, 2022)