M. R. K. Krishna Rao, Abdul Sattar. Learning from Entailment of Logic Programs with Local Variables. In Michael M. Richter, Carl H. Smith, Rolf Wiehagen, Thomas Zeugmann, editors, Algorithmic Learning Theory, 9th International Conference, ALT 98, Otzenhausen, Germany, October 8-10, 1998, Proceedings. Volume 1501 of Lecture Notes in Computer Science, pages 143-157, Springer, 1998. [doi]
Abstract is missing.