@article{DBLP:journals/symmetry/WahlD10,
  author       = {Thomas Wahl and
                  Alastair F. Donaldson},
  title        = {Replication and Abstraction: Symmetry in Automated Formal Verification},
  journal      = {Symmetry},
  volume       = {2},
  number       = {2},
  pages        = {799-847},
  year         = {2010},
  doi          = {10.3390/SYM2020799},
}