Bacchus, Fahiem and Kabanza, Froduald. 2000. “Using Temporal Logics to Express Search Control Knowledge for Planning.”Artificial Intelligence 116(1–2): 123–191.
Kabanza, Froduald, Barbeau, M. and St. Denis, Paul. 1997. “Planning Control Rules for Reactive Agents.”Artificial Intelligence 95(1): 67–113.