B. Cook, A. Podelski, and A. Rybalchenko.
Termination proofs for systems code.
Proc. of the ACM SIGPLAN Conference on Programming Language Design
and Implementation, 415-426, 2006.
M.D. Ernst, T.D. Millstein, and D.S. Weld.
Automatic SAT Compilation of Planning Problems.Proc. of the 15th International Joint Conference on Artificial
Intelligence (IJCAI-97), 1169-1176, 1997.
H.J. Levesque.
Planning with loops.
Proc. of the 19th International Joint Conference on Artificial
intelligence (IJCAI-05), 509-515, 2005.
D. McAllester and D. Rosenblitt.
Systematic nonlinear planning.Proc. of the N9th National Conference on Artificial Intelligence
(AAAI-91), 634-639, 1991.
X.L. Nguyen and S. Kambhampati.
Reviving partial order planning.
Proc. of the 17th International Joint Conference on Artificial
Intelligence (IJCAI-01), 459-464, 2001.
M.A. Peot and D.E. Smith.
Conditional nonlinear planning.
Proc. of the 1st International Conference on Artificial Intelligence
Planning Systems (AIPS-92), 189-197, 1992.
S. Srivastava, N. Immerman, and S. Zilberstein.
Challenges in finding generalized plans.ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control, 2009.