C. Bäckström, P. Jonsson, and S. Ståhlberg, “Fast Detection of Unsolvable Planning Instances Using Local Consistency”, SOCS, vol. 4, no. 1, pp. 29–37, Jul. 2013.