@inproceedings{muggleton2000,
  title={Theory completion using inverse entailment},
  author={Muggleton, Stephen H. and Bryant, Christopher H.},
  booktitle={International Conference on Inductive Logic Programming},
  pages={130--146},
  year={2000},
  organization={Springer}
}

{"_id":"XCFhz5kXHjcncb2mb","bibbaseid":"muggleton-bryant-theorycompletionusinginverseentailment-2000","author_short":["Muggleton, S. H.","Bryant, C. H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Theory completion using inverse entailment","author":[{"propositions":[],"lastnames":["Muggleton"],"firstnames":["Stephen","H."],"suffixes":[]},{"propositions":[],"lastnames":["Bryant"],"firstnames":["Christopher","H."],"suffixes":[]}],"booktitle":"International Conference on Inductive Logic Programming","pages":"130–146","year":"2000","organization":"Springer","bibtex":"@inproceedings{muggleton2000,\n title={Theory completion using inverse entailment},\n author={Muggleton, Stephen H. and Bryant, Christopher H.},\n booktitle={International Conference on Inductive Logic Programming},\n pages={130--146},\n year={2000},\n organization={Springer}\n}\n","author_short":["Muggleton, S. H.","Bryant, C. H."],"key":"muggleton2000","id":"muggleton2000","bibbaseid":"muggleton-bryant-theorycompletionusinginverseentailment-2000","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/mAv4xsa3qE3YSqF2q/biblio.bib","dataSources":["79oQCSkNzzoZHJw69","SC4vtg3To6xYfQL7G"],"keywords":[],"search_terms":["theory","completion","using","inverse","entailment","muggleton","bryant"],"title":"Theory completion using inverse entailment","year":2000}