Joachim Gudmundsson Algorithm Theory - SWAT 2008, 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008, Proceedings 5124 2008 978-3-540-69900-2 SWAT Lecture Notes in Computer Science Springer db/conf/swat/swat2008.html