1. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116, 123–191 (2000)
2. Barringer, H., Fisher, M., Gabbay, D., Hunter, A.: Meta-reasoning in executable temporal logic. In: Proc. of KR 1991, pp. 40–49 (1991)
3. Lecture Notes in Computer Science;S. Cerrito,1998
4. Mayer, M.C., Orlandini, A., Balestreri, G., Limongelli, C.: A planner fully based on linear time logic. In: Proc. of AIPS 2000, pp. 347–354 (2000)
5. Cimatti, A., Giunchiglia, E., Giunchiglia, F., Traverso, P.: Planning via model checking: a decision procedure for
$\cal AR$
. In: Proc. ECP 1997, pp. 130–142 (1997)