Text this: Algorithm theory -- SWAT 2006 :