Text this: Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings / Jacques Garrigue, Manuel Hermenegildo (eds.).