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