R. Brafman, On reachability, relevance, and resolution in the planning as satisfiability approach, Journal of Artificial Intelligence Research, vol.14, pp.1-28, 2001.

C. Domshlak, M. Helmert, E. Karpas, E. Keyder, S. Richter et al., BJOLP: The big joint optimal landmarks planner, 2011.

K. Dräger, B. Finkbeiner, and A. Podelski, Directed Model Checking with Distance-Preserving Abstractions, Proceedings of the 13th International SPIN Workshop, pp.19-34, 2006.
DOI : 10.1109/26.35374

P. Haslum and H. Geffner, Admissible heuristics for optimal planning, Proceedings of the Fifth International Conference on Artificial Intelligence Planning and Scheduling, pp.140-149, 2000.

M. Helmert and C. Domshlak, Landmarks, critical paths and abstractions: What's the difference anyway, Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling, pp.162-169, 2009.

M. Helmert, P. Haslum, and J. Hoffmann, Flexible abstraction heuristics for optimal sequential planning, Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, pp.176-183, 2007.

J. Hoffmann and B. Nebel, RIFO revisited: Detecting relaxed irrelevance, Pre-proceedings of the Sixth European Conference on Planning, pp.325-336, 2001.

M. Katz, J. Hoffmann, and M. Helmert, How to relax a bisimulation?, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00677299

R. Milner, Operational and algebraic semantics of concurrent processes Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, pp.1201-1242, 1990.

B. Nebel, Y. Dimopoulos, and J. Koehler, Ignoring irrelevant facts and operators in plan generation, Recent Advances in AI Planning. 4th European Conference on Planning, pp.338-350, 1997.
DOI : 10.1007/3-540-63912-8_97

R. Nissim, J. Hoffmann, and M. Helmert, Computing perfect heuristics in polynomial time: On bisimulation and merge-and-shrink abstraction in optimal planning, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), pp.1983-1990
URL : https://hal.archives-ouvertes.fr/inria-00592438

R. Nissim, J. Hoffmann, and M. Helmert, The Merge-and-Shrink planner: Bisimulation-based abstraction for optimal planning, 2011.