Karakashian, S., R. Woodward, and B. Choueiry. “Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 27, no. 1, June 2013, pp. 466-73, doi:10.1609/aaai.v27i1.8594.