@inproceedings{DBLP:conf/aaai/Stanfill83,
author = {Craig Stanfill},
title = {The Decomposition of a Large Domain: Reasoning About Machines},
booktitle = {AAAI},
year = {1983},
pages = {387-390},
ee = {http://www.aaai.org/Library/AAAI/1983/aaai83-013.php},
crossref = {DBLP:conf/aaai/1983},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aaai/1983,
editor = {Michael R. Genesereth},
title = {Proceedings of the National Conference on Artificial Intelligence.
Washington, D.C., August 22-26, 1983},
booktitle = {AAAI},
publisher = {AAAI Press},
year = {1983},
isbn = {0-262-51052-9},
ee = {http://www.aaai.org/Conferences/AAAI/aaai83.php},
bibsource = {DBLP, http://dblp.uni-trier.de}
}