Algorithm Theory - SWAT 2000 : 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 Proceedings - Magnus M. Halldorsson ((Lecture Notes in Computer Science))