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