@inproceedings{DBLP:conf/aips/Chien96,
author = {Steve A. Chien},
title = {Static and Completion Analysis for Planning Knowledge Base
Development and Verification},
booktitle = {AIPS},
year = {1996},
pages = {53-61},
ee = {http://www.aaai.org/Library/AIPS/1996/aips96-007.php},
crossref = {DBLP:conf/aips/1996},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aips/1996,
editor = {Brian Drabble},
title = {Proceedings of the Third International Conference on Artificial
Intelligence Planning Systems, Edinburgh, Scotland, May
29-31, 1996},
booktitle = {AIPS},
publisher = {AAAI},
year = {1996},
isbn = {0-929280-97-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}