Functional and Logic Programming 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings - Kuchen, Herbert; Kuchen, Herbert; Ueda, Kazunori; Ueda, Kazunori (Springer Berlin Heidelberg : Imprint: Springer, 2001)