Chandra Reddy Prasad Tadepalli Learning Horn Definitions with Equivalence and Membership Queries. 243-255 1997 conf/ilp/1997 ILP db/conf/ilp/ilp97.html#ReddyT97