@article{ DBLP:journals/ai/BacchusK00,
  author = {Fahiem Bacchus and Froduald Kabanza}
}
,
  title = {Using temporal logics to express search control knowledge for planning}
}
,
  ee = {http://dx.doi.org/10.1016/S0004-3702(99)00071-5}
}
,
  journal = {Artif. Intell.}
}
,
  area = {Planning (including under Uncertainty)}
}
,
  number = {1-2}
}
,
  volume = {116}
}
,
  url = {http://dx.doi.org/10.1016/S0004-3702(99)00071-5}
}
,
  year = {2000}
}
,
  bibsource = {DBLP http://dblp.uni-trier.de}
}
,
  pages = {123-191}
}