Frontiers of Combining Systems : 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings - Boris Konev, Frank Wolter ((Lecture Notes in Computer Science))