Text this: Algorithm theory - SWAT 2002 :