A metric for measuring web search results satisfaction incorporating user behavior | IEEE Conference Publication | IEEE Xplore