You are about to access our book library "Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings (Lecture Notes in Computer Science, 1048) full version" .