S. Karakashian, R. Woodward, C. Reeson, B. Choueiry, and C. Bessiere, “A First Practical Algorithm for High Levels of Relational Consistency”, AAAI, vol. 24, no. 1, pp. 101-107, Jul. 2010.