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