@inproceedings{ DBLP:conf/time/Bacchus96,
  title = {Using Temporal Logics for Planning and Control}
}
,
  url = {http://doi.ieeecomputersociety.org/10.1109/TIME.1996.555666}
}
,
  booktitle = {Proceedings of the 3rd International Workshop on Temporal Representation and Reasoning (TIME-1996)}
}
,
  author = {Fahiem Bacchus}
}
,
  area = {Planning (including under Uncertainty)}
}
,
  year = {1996}
}
,
  bibsource = {DBLP http://dblp.uni-trier.de}
}
,
  pages = {2-3}
}