Functional and Logic Programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings - Kuchen, Herbert; Ueda, Kazunori (Lecture notes in computer science ;, 2001)