@misc{W2119831128,
  author = {Stephen Muggleton},
  title = {Inverse entailment and progol},
  year = {1995},
  howpublished = {New Generation Computing},
  doi = {https://doi.org/10.1007/bf03037227}
}