Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Fred Mesnard, Peter J. Stuckey, 978-3-030-13837-0, 978-3-030-13838-7