. References and . Dräger, Directed model checking with distance-preserving abstractions Planning with pattern databases [Helmert and Domshlak, 2009] Malte Helmert and Carmel Domshlak . Landmarks, critical paths and abstractions: What's the difference anyway? Accuracy of admissible heuristic functions in selected planning domains Flexible abstraction heuristics for optimal sequential planning, Proc. SPIN 2006 Proc. ECP 2001 Proc. ICAPS 2009Helmert and Mattmüller, 2008] Malte Helmert and Robert Mattmüller Proc. AAAI 2008 Proc. ICAPS 2007 Malte Helmert. Solving Planning Tasks in Theory and Practice, pp.19-34, 2001.

D. Katz, C. Katz, and . Domshlak, Structural-pattern databases [Milner, 1990] Robin Milner. Operational and algebraic semantics of concurrent processes, Proc. ICAPS 2009 Handbook of TCS, pp.186-193, 1990.

S. Richter and M. Helmert, Preferred operators and deferred evaluation in satisficing planning, Proc. ICAPS 2009, pp.273-280, 2009.