AFP Algorithm and a Canonical Normal Form for Horn Formulas
  AFP Algorithm is a learning algorithm for Horn formulas. We show that it does
not improve the complexity of AFP Algorithm, if after each negative
counterexample more that just one refinements are performed. Moreover, a
canonical normal form for Horn formulas is presented, and it is proved that the
output formula of AFP Algorithm is in this normal form.
