@inproceedings{chien-AIPS-1996,
	title        = {Static and Completion Analysis for Planning Knowledge Base Development and Verification},
	author       = {S. A. Chien},
	year         = 1996,
	month        = {May},
	booktitle    = {International Conference on Artificial Intelligence Planning Systems (AIPS 1996)},
	address      = {Edinburgh, UK}
}

{"_id":"P2BWoXjCsAJs2tEwm","bibbaseid":"chien-staticandcompletionanalysisforplanningknowledgebasedevelopmentandverification-1996","author_short":["Chien, S. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Static and Completion Analysis for Planning Knowledge Base Development and Verification","author":[{"firstnames":["S.","A."],"propositions":[],"lastnames":["Chien"],"suffixes":[]}],"year":"1996","month":"May","booktitle":"International Conference on Artificial Intelligence Planning Systems (AIPS 1996)","address":"Edinburgh, UK","bibtex":"@inproceedings{chien-AIPS-1996,\n\ttitle = {Static and Completion Analysis for Planning Knowledge Base Development and Verification},\n\tauthor = {S. A. Chien},\n\tyear = 1996,\n\tmonth = {May},\n\tbooktitle = {International Conference on Artificial Intelligence Planning Systems (AIPS 1996)},\n\taddress = {Edinburgh, UK}\n}\n","author_short":["Chien, S. A."],"key":"chien-AIPS-1996","id":"chien-AIPS-1996","bibbaseid":"chien-staticandcompletionanalysisforplanningknowledgebasedevelopmentandverification-1996","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/pG3rqgMjQD7YDK9mR","dataSources":["fFKv7kkLuCZPtfsiH","QvdbtaigAhR3B2gH3","iio6zGurPy7pYDJ9F","7GgPNiWYdtt4b5kSC","NB9ixES8hSEaR9Gwy","otDTeas5CXZSvBqHe","nAFgNmfG8PMQcD23r","RWAD52BGFcfgL6j7S"],"keywords":[],"search_terms":["static","completion","analysis","planning","knowledge","base","development","verification","chien"],"title":"Static and Completion Analysis for Planning Knowledge Base Development and Verification","year":1996}