Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6--8, 2016. Revised selected papers
scientific article; zbMATH DE number 6755034