Logic-based program synthesis and transformation 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers / - De Schreye, Danny. (Springer,)