Logic and Computational Complexity for Boolean Information Retrieval | IEEE Journals & Magazine | IEEE Xplore