Search: Invert, Theory, Fagin, R, 2006