Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7--9, 2020. Proceedings
scientific article; zbMATH DE number 7373360