Query expansion by mining user logs | IEEE Journals & Magazine | IEEE Xplore