Chandra Reddy, Prasad Tadepalli. Learning Horn Definitions with Equivalence and Membership Queries. In Nada Lavrac, Saso Dzeroski, editors, Inductive Logic Programming, 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings. Volume 1297 of Lecture Notes in Computer Science, pages 243-255, Springer, 1997.