Johan de Kleer, Brian C. Williams. Back to Backtracking: Controlling the ATMS. In AAAI. pages 910-917, 1986.
@inproceedings{KleerW86a, title = {Back to Backtracking: Controlling the ATMS}, author = {Johan de Kleer and Brian C. Williams}, year = {1986}, tags = {C++}, researchr = {https://researchr.org/publication/KleerW86a}, cites = {0}, citedby = {0}, pages = {910-917}, booktitle = {AAAI}, }