Report - Everything You Always Wanted to Know About Blocked Sets ... · 2 = (:l _D 2) C 1 l C 2 = (D 1 _D 2) By C 1 l C 2 we denote the resolution of C 1 and C 2 on the literal l. The clauses

Please pass captcha verification before submit form