[Walsh 2007] Walsh, T. 2007. Breaking value symmetry. In 13th Int. Conf. on Principles and Practices of Constraint Programming (CP-2007).

[Zhang 1996] Zhang, J. 1996. Constructing finite algebras with FALCON. *Journal of Automated Reasoning* 17(1):1– 22.