@incollection{ tran_improving_2009,
  title = {Improving performance of conformant planners: Static analysis of declarative planning domain specifications},
  shorttitle = {Improving performance of conformant planners},
  url = {http://link.springer.com/chapter/10.1007/978-3-540-92995-6_17},
  urldate = {2015-01-13},
  booktitle = {Practical Aspects of Declarative Languages},
  publisher = {Springer},
  author = {Tran, Dang-Vien and Nguyen, Hoang-Khoi and Pontelli, Enrico and Son, Tran Cao},
  year = {2009},
  pages = {239--253},
  note = {cited By 6}
}

{"_id":"8HZXKYQkptX7JWHy4","authorIDs":[],"author_short":["Tran, D.","Nguyen, H.","Pontelli, E.","Son","Cao, T."],"bibbaseid":"tran-nguyen-pontelli-son-cao-improvingperformanceofconformantplannersstaticanalysisofdeclarativeplanningdomainspecifications-2009","bibdata":{"author":["Tran, Dang-Vien","Nguyen, Hoang-Khoi","Pontelli, Enrico","Son","Cao, Tran"],"author_short":["Tran, D.","Nguyen, H.","Pontelli, E.","Son","Cao, T."],"bibtex":"@incollection{ tran_improving_2009,\n title = {Improving performance of conformant planners: Static analysis of declarative planning domain specifications},\n shorttitle = {Improving performance of conformant planners},\n url = {http://link.springer.com/chapter/10.1007/978-3-540-92995-6_17},\n urldate = {2015-01-13},\n booktitle = {Practical Aspects of Declarative Languages},\n publisher = {Springer},\n author = {Tran, Dang-Vien and Nguyen, Hoang-Khoi and Pontelli, Enrico and Son, Tran Cao},\n year = {2009},\n pages = {239--253},\n note = {cited By 6}\n}","bibtype":"incollection","booktitle":"Practical Aspects of Declarative Languages","id":"tran_improving_2009","key":"tran_improving_2009","note":"cited By 6","pages":"239--253","publisher":"Springer","shorttitle":"Improving performance of conformant planners","title":"Improving performance of conformant planners: Static analysis of declarative planning domain specifications","type":"incollection","url":"http://link.springer.com/chapter/10.1007/978-3-540-92995-6_17","urldate":"2015-01-13","year":"2009","bibbaseid":"tran-nguyen-pontelli-son-cao-improvingperformanceofconformantplannersstaticanalysisofdeclarativeplanningdomainspecifications-2009","role":"author","urls":{"Paper":"http://link.springer.com/chapter/10.1007/978-3-540-92995-6_17"},"downloads":0},"bibtype":"incollection","biburl":"https://dl.dropboxusercontent.com/u/1090993/SNI2015Citas/PGAsTheBasis2002-SNI-Final.bib","creationDate":"2015-01-15T08:07:06.680Z","downloads":0,"keywords":[],"search_terms":["improving","performance","conformant","planners","static","analysis","declarative","planning","domain","specifications","tran","nguyen","pontelli","son","cao"],"title":"Improving performance of conformant planners: Static analysis of declarative planning domain specifications","year":2009,"dataSources":["vKJWtrKYdz26vdRXe"]}