Logic-based program synthesis and transformation
International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England)