N. Lipovetzky, C. Muise, and H. Geffner, “Traps, Invariants, and Dead-Ends”, ICAPS, vol. 26, no. 1, pp. 211–215, Mar. 2016.