Pātuhitia tēnei: Logic-based program synthesis and transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011, revised selected papers / [edited by] Germán Vidal.