Logic-Based Program Synthesis and Transformation 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings - De Angelis, Emanuele. (Springer International Publishing,)