@inproceedings{Kautz+al:1996,
	year = 1996,
	author = "Henry Kautz and McAllester, D. A. and Bart Selman",
	title = "Encoding Plans in Propositional Logic",
	booktitle = kr96,
	_address = "Cambridge, Massachusetts",
	_publisher = morgan,
 _pages = "374--384"
}

{"_id":"dcf6WzSyvy5oCiqyC","bibbaseid":"kautz-mcallester-selman-encodingplansinpropositionallogic-1996","author_short":["Kautz, H.","McAllester, D. A.","Selman, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","year":"1996","author":[{"firstnames":["Henry"],"propositions":[],"lastnames":["Kautz"],"suffixes":[]},{"propositions":[],"lastnames":["McAllester"],"firstnames":["D.","A."],"suffixes":[]},{"firstnames":["Bart"],"propositions":[],"lastnames":["Selman"],"suffixes":[]}],"title":"Encoding Plans in Propositional Logic","booktitle":"KR-96","_address":"Cambridge, Massachusetts","_publisher":"Morgan Kaufmann","_pages":"374–384","bibtex":"@inproceedings{Kautz+al:1996,\n\tyear = 1996,\n\tauthor = \"Henry Kautz and McAllester, D. A. and Bart Selman\",\n\ttitle = \"Encoding Plans in Propositional Logic\",\n\tbooktitle = kr96,\n\t_address = \"Cambridge, Massachusetts\",\n\t_publisher = morgan,\n _pages = \"374--384\"\n}\n\n","author_short":["Kautz, H.","McAllester, D. A.","Selman, B."],"key":"Kautz+al:1996","id":"Kautz+al:1996","bibbaseid":"kautz-mcallester-selman-encodingplansinpropositionallogic-1996","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://aima.cs.berkeley.edu/aima4e.bib","dataSources":["BLJPWpPi3hneTGaPF","cx4WvnDhXJhiLqdQo"],"keywords":[],"search_terms":["encoding","plans","propositional","logic","kautz","mcallester","selman"],"title":"Encoding Plans in Propositional Logic","year":1996}