Back to Backtracking: Controlling the ATMS. de Kleer, J. and Williams, B. C. In Proceedings of National Conference on Artificial Intelligence (AAAI), pages 910-917, 1986.
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)}
}