Text this: Logic-Based Program Synthesis and Transformation 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings / edited by Alicia Villanueva. [electronic resource] :