Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers - Gupta, Gopal; Peña, Ricardo (Springer International Publishing : Imprint: Springer, 2014)