Revising Horn Formulas