Logic based program synthesis and transformation 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25 - 27, 2003 ; revised selected papers (Springer, 2004)