Chien96'

@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}
}