Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings - Schrijvers, Tom; Thiemann, Peter (Springer Berlin Heidelberg, 2012)