@inproceedings{DBLP:conf/ijcai/Mitchell83,
  author    = {Tom M. Mitchell},
  title     = {Learning and Problem Solving},
  booktitle = {IJCAI},
  year      = {1983},
  pages     = {1139-1151},
  crossref  = {DBLP:conf/ijcai/1983},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ijcai/1983,
  editor    = {Alan Bundy},
  title     = {Proceedings of the 8th International Joint Conference on
               Artificial Intelligence. Karlsruhe, FRG, August 1983},
  booktitle = {IJCAI},
  publisher = {William Kaufmann},
  year      = {1983},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}