@inproceedings{sym08,
  author = "N Moffat and M.H. Goldsmith and A.W. Roscoe",
  booktitle = "Proceedings of IFCEM 2008",
  title = "A representative function approach to symmetry exploitation for CSP refinement checking",
  year = "2008",
}