%0 Journal Article %1 DBLP:journals/ai/BacchusK00 %A Bacchus, Fahiem %A Kabanza, Froduald %D 2000 %J Artif. Intell. %K *file-import-12-02-17 %N 1-2 %P 123--191 %R 10.1016/S0004-3702(99)00071-5 %T Using temporal logics to express search control knowledge for planning %U http://dx.doi.org/10.1016/S0004-3702(99)00071-5 %V 116

@article{DBLP:journals/ai/BacchusK00, added-at = {2012-03-02T03:39:18.000+0100}, author = {Bacchus, Fahiem and Kabanza, Froduald}, biburl = {https://www.bibsonomy.org/bibtex/2ffa5f3bd8d7531b72c98588da0a82273/baby9992006}, citeulike-article-id = {10361168}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/S0004-3702(99)00071-5}, doi = {10.1016/S0004-3702(99)00071-5}, interhash = {a3da93ad84f74f84ca3e9f5a9f578dbc}, intrahash = {ffa5f3bd8d7531b72c98588da0a82273}, journal = {Artif. Intell.}, keywords = {*file-import-12-02-17}, number = {1-2}, pages = {123--191}, posted-at = {2012-02-17 09:07:04}, priority = {2}, timestamp = {2012-03-02T03:39:22.000+0100}, title = {{Using temporal logics to express search control knowledge for planning}}, url = {http://dx.doi.org/10.1016/S0004-3702(99)00071-5}, volume = 116, year = 2000 }