We introduce two definitions of sets of implicates which are both based on the properties of resolution and prove many interesting properties of such sets
We introduce two definitions of sets of implicates which are both based on the properties of resolution and prove many interesting properties of such sets (en)