Algorithm theory-- SWAT 2000 : 7th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, July 5-7, 2000 : proceedings / - Magnús M. Halldórsson. (Springer, 2000)