Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings - Tom Schrijvers, editor ([, Springer-Verlag], 2012)