SMS: Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings / Masami Hagiya, Philip Wadler (eds.).