@article{Lenat:83,
  author={D. B. Lenat},
  title={Theory Formation by Heuristic Search}, 
  journal={Machine Learning},
  volume={21},
  year={1983}, 
  pages={}}

{"_id":"kwEf5FuPdekPCLKcf","bibbaseid":"lenat-theoryformationbyheuristicsearch-1983","downloads":0,"creationDate":"2018-10-05T11:34:47.960Z","title":"Theory Formation by Heuristic Search","author_short":["Lenat, D. B."],"year":1983,"bibtype":"article","biburl":"http://people.idsia.ch/~juergen/deep.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["D.","B."],"propositions":[],"lastnames":["Lenat"],"suffixes":[]}],"title":"Theory Formation by Heuristic Search","journal":"Machine Learning","volume":"21","year":"1983","pages":"","bibtex":"@article{Lenat:83,\n author={D. B. Lenat},\n title={Theory Formation by Heuristic Search}, \n journal={Machine Learning},\n volume={21},\n year={1983}, \n pages={}}\n \n","author_short":["Lenat, D. B."],"key":"Lenat:83","id":"Lenat:83","bibbaseid":"lenat-theoryformationbyheuristicsearch-1983","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["theory","formation","heuristic","search","lenat"],"keywords":[],"authorIDs":[],"dataSources":["EmYaiv9TCHbg7caTW"]}