Norbert E. Fuchs, Uta Schwertel (auth.), Pierre Flener (eds.)

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers