Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012, Proceedings - Fomin, Fedor V. (Springer Berlin Heidelberg : Imprint: Springer, 2012)