Search: Implementation, Sigmod / VLDB, Fagin, R, 2002, 100 - 499