Fahiem Bacchus Froduald Kabanza Using temporal logics to express search control knowledge for planning. 123-191 2000 116 Artif. Intell. 1-2 db/journals/ai/ai116.html#BacchusK00 http://dx.doi.org/10.1016/S0004-3702(99)00071-5