Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers - Pettorossi, Alberto; Pettorossi, Alberto (Springer Berlin Heidelberg : Imprint: Springer, 2002)