Super-TC: an efficient generic algorithm for processing the instantiated transitive-closure queries in deductive database systems | IEEE Conference Publication | IEEE Xplore