Goldenberg, M.; Sturtevant, N.; Felner, A.; Schaeffer, J. The Compressed Differential Heuristic. SOCS 2011, 2, 191-192.