Functional and logic programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings - Kiselyov, Oleg (Springer, 2016)