Text this: Algorithm theory-- SWAT '98 :