Design and implementation of a Web-search engine based on computation tree logic | IEEE Conference Publication | IEEE Xplore