N I
Netherlands) International Workshop on Logic Program Synthesis and Transformation (5th : 1995 : Utrecht