Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9--11, 2014. Revised selected papers
scientific article; zbMATH DE number 6473531