@article{muggleton1995,
  author    = {Muggleton, Stephen H.},
  title     = {Inverse {E}ntailment and {P}rogol},
  journal   = {New Generation Comput.},
  volume    = {13},
  number    = {3{\&}4},
  pages     = {245--286},
  year      = {1995},
  url       = {https://doi.org/10.1007/BF03037227},
  doi       = {10.1007/BF03037227},
  biburl    = {https://dblp.org/rec/journals/ngc/Muggleton95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"spyKP6ZxnJHEAyjhA","bibbaseid":"muggleton-inverseentailmentandprogol-1995","author_short":["Muggleton, S. H."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Muggleton"],"firstnames":["Stephen","H."],"suffixes":[]}],"title":"Inverse Entailment and Progol","journal":"New Generation Comput.","volume":"13","number":"3&4","pages":"245–286","year":"1995","url":"https://doi.org/10.1007/BF03037227","doi":"10.1007/BF03037227","biburl":"https://dblp.org/rec/journals/ngc/Muggleton95.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{muggleton1995,\n author = {Muggleton, Stephen H.},\n title = {Inverse {E}ntailment and {P}rogol},\n journal = {New Generation Comput.},\n volume = {13},\n number = {3{\\&}4},\n pages = {245--286},\n year = {1995},\n url = {https://doi.org/10.1007/BF03037227},\n doi = {10.1007/BF03037227},\n biburl = {https://dblp.org/rec/journals/ngc/Muggleton95.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n","author_short":["Muggleton, S. H."],"key":"muggleton1995","id":"muggleton1995","bibbaseid":"muggleton-inverseentailmentandprogol-1995","role":"author","urls":{"Paper":"https://doi.org/10.1007/BF03037227"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/f/mAv4xsa3qE3YSqF2q/biblio.bib","dataSources":["79oQCSkNzzoZHJw69","SC4vtg3To6xYfQL7G"],"keywords":[],"search_terms":["inverse","entailment","progol","muggleton"],"title":"Inverse Entailment and Progol","year":1995}