Bäckström, C., Jonsson, P. and Ståhlberg, S. (2013) “Fast Detection of Unsolvable Planning Instances Using Local Consistency”, Proceedings of the International Symposium on Combinatorial Search, 4(1), pp. 29–37. doi: 10.1609/socs.v4i1.18294.