Functional and Logic Programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings - Zhenjiang Hu, Mario Rodríguez-Artalejo ((Lecture Notes in Computer Science))