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