Author: International Workshop on Logic Program Synthesis and Transformation (1997 Leuven, Belgium)