Search: Theory, Sigmod / VLDB, Ullman, J, 10 - 49