Bacchus, F., and Kabanza, F. 2000. Using Temporal Logics to Express Search Control Knowledge for Planning. Artificial Intelligence 116: 123-191.
Referenced by page:
Planning
Related link:
Bacchus' TLplan Page
