Functional and Logic Programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings - Herbert Kuchen, Kazunori Ueda ((Lecture Notes in Computer Science))