Lipovetzky, N.; Muise, C.; Geffner, H. Traps, Invariants, and Dead-Ends. ICAPS 2016, 26, 211-215.