@conference{IncSymmBreaking,
  title = "Incremental Symmetry Breaking",
  author = "Karen Petrie with Chris Jefferson",
  year = "2007",
  journal = "In Proc. International Symmetry Conference",
  url = "http://isc.cs.st-andrews.ac.uk/",
}