This A non-linear model of query modifications during a single session of user searching on the Web is evaluated. In addition to a sequential query modification, in which any query may be reformulation of its direct predecessor, the model allows non-linear interpretation of query reformulations: branching, merging, re-merging (merging of earlier branched chains) and non-sequential execution of ...