Logic-based program synthesis and transformation. 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18--20, 2012. Revised selected papers
scientific article; zbMATH DE number 6155717