@conference{FrameworkSymmetry,
  title = "A Framework for Comparing Symmetry Breaking Methods",
  author = "Karen Petrie",
  year = "2003",
  journal = "In Proc. CP 2003",
  pages = "990",
  publisher = "Springer",
  series = "LNCS 2833",
  url = "http://www.springerlink.com/content/fd4ypbgp3457hkav/?p=cd22be27f50540d19407d9f53df8bfa6&pi=113",
}