Title: Algorithm Theory - SWAT 2000