Identifying and exploiting symmetry for CSP refinement checking. - Nicholas Moffat (2011)