1. Bentley, J.: Programming Pearls. Addison-Wesley (2000)
2. Büchi, J.: On a decision method in restricted second order arithmetic. In: Mac Lane, S., Siefkes, D. (eds.) The Collected Works of J. Richard Büchi, pp. 425–435. Springer, New York (1990)
3. Clarke, J. E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
4. Cohen, D., Jeavons, P., Jefferson, C., Petrie, K.E., Smith, B.M.: Constraint symmetry and solution symmetry. In: Proc. AAAI 2006, pp. 1589–1592 (2006)
5. Lecture Notes in Computer Science;A.M. Frisch,2002