Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings - Konev, Boris; Wolter, Frank (Springer Berlin Heidelberg, 2007)