Paper  bibtex   

@inproceedings{ dblp4419172,
  title = {Back to Backtracking: Controlling the ATMS},
  author = {Johan de Kleer and Brian C. Williams},
  author_short = {de Kleer, J. and Williams, B. C.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1986},
  key = {dblp4419172},
  id = {dblp4419172},
  biburl = {http://www.dblp.org/rec/bibtex/conf/aaai/KleerW86a},
  url = {http://www.aaai.org/Library/AAAI/1986/aaai86-151.php},
  conference = {AAAI},
  pages = {910-917},
  text = {AAAI 1986:910-917},
  booktitle = {Proceedings of National Conference on Artificial Intelligence (AAAI)}
}