@inproceedings{CompSymmetryMethods,
  title = "Comparison of Symmetry Breaking Methods",
  author = "Karen Petrie with Barbara Smith",
  year = "2005",
  journal = "In Proc. SymCon 2005",
  pages = "31-43",
  url = "http://www.cs.brown.edu/people/sello/symcon/",
}