Search: Theory, Fagin, R, 2006