Author: International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England)