Author: International Workshop on Logic Program Synthesis and Transformation (11th 2001 Paphos, Cyprus)