Problem Solving with the ATMS. de Kleer, J. Artif. Intell. (AI), 28(2):197-224, 1986.
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)}
}