Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings / - Kameyama, Yukiyoshi.; Stuckey, Peter J. (Springer, 2004)