Logic-based program synthesis and transformation 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers / - Flener, Pierre, (Lecture notes in computer science ;)