Karakashian, S.; Woodward, R.; Reeson, C.; Choueiry, B.; Bessiere, C. A First Practical Algorithm for High Levels of Relational Consistency. AAAI 2010, 24, 101-107.