"Google by reformulation": modeling search as successive refinement | IEEE Conference Publication | IEEE Xplore