Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings - Silvio Ghilardi, Roberto Sebastiani ((Lecture Notes in Computer Science))