Journal of Algorithms|Nov 01, 2005