Logic-Based Program Synthesis and Transformation 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers - Flener, Pierre; Flener, Pierre (Springer Berlin Heidelberg : Imprint: Springer, 1999)