Author: International Workshop on Logic Program Synthesis and Transformation (1993 Louvain-la-Neuve, Belgium)