Report - Subsumption In Beric - KITbeckert/pub/Anti_Links_TechReport.pdf · subsumption c hec ks at all. W e de ne disjunctive and c onjunctive an ti-links 1 in NNF form ulas, and w e iden

Please pass captcha verification before submit form