@article{DBLP:journals/csur/MillerDC06,
  author       = {Alice Miller and
                  Alastair F. Donaldson and
                  Muffy Calder},
  title        = {Symmetry in temporal logic model checking},
  journal      = {{ACM} Comput. Surv.},
  volume       = {38},
  number       = {3},
  pages        = {8},
  year         = {2006},
  doi          = {10.1145/1132960.1132962},
}