Search: Theory, Ullman, J, 1997