You are about to access our book library "Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (Lecture Notes in Computer Science, 2024) full version" .