Jacques Garrigue Manuel V. Hermenegildo Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings 4989 2008 978-3-540-78968-0 FLOPS Lecture Notes in Computer Science Springer db/conf/flops/flops2008.html