1. Alpuente, M. (Ed.) (2011). Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers, Lecture Notes in Computer Science (Vol. 6564). Springer.
2. Benhamou, B. (1994). Study of symmetry in constraint satisfaction problems. In PPCP’94: Second International Workshop on Principles and Practice of Constraint Programming (pp. 246–254).
3. Charnley, J., Colton, S,. Miguel, I. (2006). Automatic generation of implied constraints. In G. Brewka, S. Coradeschi, A. Perini, and P. Traverso, (Eds.), ECAI, Frontiers in Artificial Intelligence and Applications (Vol. 141, pp. 73–77). IOS Press.
4. Chu, G., Garcia de la Banda, M., Stuckey. P.J. (2010). Automatically exploiting subproblem equivalence in constraint programming. In A. Lodi, M. Milano, P. Toth (Eds.), CPAIOR, Lecture Notes in Computer Science (Vol. 141, pp 71–86). Springer.
5. Cohen, D.A., Jeavons, P., Jefferson, C., Petrie, K.E, Smith, B.M. (2006). Symmetry definitions for constraint satisfaction problems. Constraints, 11(2-3), 115–137.