Text this: Algorithm theory-- SWAT '94 :