Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings - Lutz, Carsten; Ranise, Silvio (Springer International Publishing : Imprint: Springer, 2015)