@misc{indiciae013c6d6b9cd1,
  title = {Symmetry Breaking Using Value Precedence},
  author = {Toby Walsh},
  year = {2009},
  doi = {10.1088/1126-6708/2009/06/075},
  url = {https://arxiv.org/abs/0903.1136},
  note = {Source identifier: 0903.1136}
}