Lipovetzky, Nir, Christian Muise, and Hector Geffner. 2016. “Traps, Invariants, and Dead-Ends”. Proceedings of the International Conference on Automated Planning and Scheduling 26 (1):211-15. https://doi.org/10.1609/icaps.v26i1.13774.