Bäckström, Christer, et al. “Fast Detection of Unsolvable Planning Instances Using Local Consistency”. Proceedings of the International Symposium on Combinatorial Search, vol. 4, no. 1, July 2013, pp. 29-37, doi:10.1609/socs.v4i1.18294.