propositional horn clauses are also of interest in computational complexity estrich supported clinton in the democratic primaries but was strongly critical of palin