Michael Frazier Leonard Pitt Learning From Entailment: An Application to Propositional Horn Sentences. 120-127 1993 ICML db/conf/icml/icml1993.html#FrazierP93