Download Logic Based Program Synthesis And Transformation 12Th International Workshop Lopstr 2002 Madrid Spain September 1720 2002 Revised Selected Papers 2003

http://katjavogel.net/files/gimgs/1_manetz01.png