Algorithm Theory - SWAT 2000 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 Proceedings - Halldorsson, Magnus M.; Halldorsson, Magnus M. (Springer Berlin Heidelberg : Imprint: Springer, 2000)