Bäckström, C.; Jonsson, P.; Ståhlberg, S. Fast Detection of Unsolvable Planning Instances Using Local Consistency. SOCS 2013, 4, 29-37.