Learning from Entailment of Logic Programs with Local Variables

Rao and Sattar. "Learning from Entailment of Logic Programs with Local Variables." International Conference on Algorithmic Learning Theory, 1998. doi:10.1007/3-540-49730-7_11

[Rao and Sattar. "Learning from Entailment of Logic Programs with Local Variables." International Conference on Algorithmic Learning Theory, 1998.](https://mlanthology.org/alt/1998/rao1998alt-learning/) doi:10.1007/3-540-49730-7_11

@inproceedings{rao1998alt-learning,
  title     = {{Learning from Entailment of Logic Programs with Local Variables}},
  author    = {Rao, M. R. K. Krishna and Sattar, Abdul},
  booktitle = {International Conference on Algorithmic Learning Theory},
  year      = {1998},
  pages     = {143-157},
  doi       = {10.1007/3-540-49730-7_11},
  url       = {https://mlanthology.org/alt/1998/rao1998alt-learning/}
}