E. Allen Emerson, John Havlicek, Richard J. Trefler. Virtual Symmetry Reduction. In LICS. pages 121-131, 2000. [doi]
@inproceedings{EmersonHT00,
title = {Virtual Symmetry Reduction},
author = {E. Allen Emerson and John Havlicek and Richard J. Trefler},
year = {2000},
url = {http://www.computer.org/proceedings/lics/0725/07250121abs.htm},
tags = {e-science},
researchr = {https://researchr.org/publication/EmersonHT00},
cites = {0},
citedby = {0},
pages = {121-131},
booktitle = {LICS},
}