Stephen Davies Serdar Badem Michael D. Williams II Roger King "Google by Reformulation": Modeling Search as Successive Refinement. 435-440 2004 conf/IEEEscc/2004 IEEE SCC http://csdl.computer.org/comp/proceedings/scc/2004/2225/00/22250435abs.htm db/conf/IEEEscc/scc2004.html#DaviesBWK04