Logic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers - Leuschel, M.; Leuschel, M. (Springer Berlin Heidelberg : Imprint: Springer, 2003)