-P.Flener (Ed.): Logic-Based Program Synthesis and Transformation. Proceedings 1998, Springer-Verlag 1999