Algorithms and Complexity, 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings (Paul G. Spirakis and Maria J. Serna), volume 7878 of Lecture Notes in Computer Science, pages 13-24, 2013, Springer Verlag.