1. The AIPS '00 planning competition;Bacchus;AI Magazine,2001
2. Planning for temporally extended goals;Bacchus;Annals of Mathematics and Artificial Intelligence,1998
3. Using temporal logics to express search control knowledge for planning;Bacchus;Artificial Intelligence,2000
4. Expressive equivalence of planning formalisms;Bäckström;Artificial Intelligence,1995
5. J. Baier, S. McIlraith, Planning with first-order temporally extended goals using heuristic search, in: Proc. of 21st National Conf. on Artificial Intelligence (AAAI'06), 2006