@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},
}