Section 6.1

Horn Formulas