Logic-based program synthesis and transformation 21st international symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers / - Vidal, Germán. (Springer,)