@conference{SymmDefConf,
  title = "Symmetry definitions for Constraint Satisfaction Problems",
  author = "Karen Petrie with David Cohen and Peter Jeavons and Chris Jefferson and Barbara Smith",
  year = "2005",
  journal = "In Proc. CP 2005",
  note = "Winner of the best paper award",
  pages = "17-30",
  publisher = "Springer",
  series = "LNCS 3709",
  url = "http://www.springerlink.com/content/kr00355p30375146/?p=64c5d121ac434f788a34936edae451a0&pi=4",
}