@article{ dblp4420305,
  title = {Problem Solving with the ATMS},
  author = {Johan de Kleer},
  author_short = {de Kleer, J.},
  bibtype = {article},
  type = {article},
  year = {1986},
  key = {dblp4420305},
  id = {dblp4420305},
  biburl = {http://www.dblp.org/rec/bibtex/journals/ai/Kleer86b},
  url = {http://dx.doi.org/10.1016/0004-3702(86)90082-2},
  journal = {Artif. Intell. (AI)},
  pages = {197-224},
  number = {2},
  volume = {28},
  text = {Artif. Intell. (AI) 28(2):197-224 (1986)}
}

{"_id":{"_str":"523738f2d0cc4d8625000363"},"__v":4,"authorIDs":["5542374df6e849247f0003cb"],"author_short":["de Kleer, J."],"bibbaseid":"dekleer-problemsolvingwiththeatms-1986","bibdata":{"title":"Problem Solving with the ATMS","author":["Johan de Kleer"],"author_short":["de Kleer, J."],"bibtype":"article","type":"article","year":"1986","key":"dblp4420305","id":"dblp4420305","biburl":"http://www.dblp.org/rec/bibtex/journals/ai/Kleer86b","url":"http://dx.doi.org/10.1016/0004-3702(86)90082-2","journal":"Artif. Intell. (AI)","pages":"197-224","number":"2","volume":"28","text":"Artif. Intell. (AI) 28(2):197-224 (1986)","bibtex":"@article{ dblp4420305,\n title = {Problem Solving with the ATMS},\n author = {Johan de Kleer},\n author_short = {de Kleer, J.},\n bibtype = {article},\n type = {article},\n year = {1986},\n key = {dblp4420305},\n id = {dblp4420305},\n biburl = {http://www.dblp.org/rec/bibtex/journals/ai/Kleer86b},\n url = {http://dx.doi.org/10.1016/0004-3702(86)90082-2},\n journal = {Artif. Intell. (AI)},\n pages = {197-224},\n number = {2},\n volume = {28},\n text = {Artif. Intell. (AI) 28(2):197-224 (1986)}\n}","bibbaseid":"dekleer-problemsolvingwiththeatms-1986","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/0004-3702(86)90082-2"},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/ai/Kleer86b","downloads":0,"keywords":[],"search_terms":["problem","solving","atms","de kleer"],"title":"Problem Solving with the ATMS","year":1986,"dataSources":["XRerpcuEPNhHYRRTZ"]}