Implicates and prime implicates (1996)

by R Schrag, J M Crawford
Venue:in random 3SAT. Artificial Intelligence 81:199--222