Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings - Fontaine, Pascal; Ringeissen, Christophe; Schmidt, Renate A. (Springer Berlin Heidelberg : Imprint: Springer, 2013)