Search: Theory, Ullman, J, 1997, 500 - 999