A Clause Learning Algorithm Combining Immune Mechanism to Invent Predicate | IEEE Conference Publication | IEEE Xplore