A Logic-Based Approach for Query Refinement | IEEE Conference Publication | IEEE Xplore