Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings - De Angelis, Emanuele; Vanhoof, Wim (Cham Springer International Publishing AG, 2022)