Both explicit and implicit use of thesaurus are potentially beneficial for query reformulation, depending on the quality of the thesaurus. However the more numerous thesaurus terms generated by the system through the automatic query expansion process are more influential than the few selected by the user.