@InProceedings{DBLP:conf/ijcai/HuL11,
  Title                    = {A Correctness Result for Reasoning about One-Dimensional
 Planning Problems},
  Author                   = {Yuxiao Hu and
 Hector J. Levesque},
  Booktitle                = {IJCAI},
  Year                     = {2011},
  Pages                    = {2638-2643},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ijcai.org/papers11/Papers/IJCAI11-439.pdf},
  Timestamp                = {2018.09.23}
}

{"_id":{"_str":"5342b4530e946d920a003344"},"__v":24,"authorIDs":["545aa113b43425b77200103d","5e3902f4dc5b8ade010000a9","RmQT3J2e7NKqkbbbe","w4t3wcFdcECFD2TSt"],"author_short":["Hu, Y.","Levesque, H. J."],"bibbaseid":"hu-levesque-acorrectnessresultforreasoningaboutonedimensionalplanningproblems-2011","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A Correctness Result for Reasoning about One-Dimensional Planning Problems","author":[{"firstnames":["Yuxiao"],"propositions":[],"lastnames":["Hu"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"booktitle":"IJCAI","year":"2011","pages":"2638-2643","bibsource":"DBLP, http://dblp.uni-trier.de","ee":"http://ijcai.org/papers11/Papers/IJCAI11-439.pdf","timestamp":"2018.09.23","bibtex":"@InProceedings{DBLP:conf/ijcai/HuL11,\n Title = {A Correctness Result for Reasoning about One-Dimensional\n Planning Problems},\n Author = {Yuxiao Hu and\n Hector J. Levesque},\n Booktitle = {IJCAI},\n Year = {2011},\n Pages = {2638-2643},\n\n Bibsource = {DBLP, http://dblp.uni-trier.de},\n Ee = {http://ijcai.org/papers11/Papers/IJCAI11-439.pdf},\n Timestamp = {2018.09.23}\n}\n\n","author_short":["Hu, Y.","Levesque, H. J."],"key":"DBLP:conf/ijcai/HuL11","id":"DBLP:conf/ijcai/HuL11","bibbaseid":"hu-levesque-acorrectnessresultforreasoningaboutonedimensionalplanningproblems-2011","role":"author","urls":{"Link":"http://ijcai.org/papers11/Papers/IJCAI11-439.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":0,"keywords":[],"search_terms":["correctness","result","reasoning","one","dimensional","planning","problems","hu","levesque"],"title":"A Correctness Result for Reasoning about One-Dimensional Planning Problems","year":2011,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}