Paper  bibtex   

@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)}
}