1. van der Aalst, W., van Hee, K.: Workflow Management. Models, Methods, and Systems. MIT Press (2004)
2. Amir, E., Russell, S.: Logical filtering. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 75–82. Acapulco, Mexico (2003)
3. Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence 22, 5–27 (1998)
4. Baier, J., McIlraith,S.: Onplanning with programs that sense. In: Proceedings of Principles of Knowledge Representation and Reasoning (KR), pp. 492–502. Lake District, UK (2006)
5. Baier, J.A., Fritz, C., McIlraith, S.A.: Exploiting procedural domain control knowledge in state-of-the-art planners. In: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pp. 26–33. Providence, Rhode Island (2007)