Effective query formulation with multiple information sources