E. Allen Emerson John Havlicek Richard J. Trefler Virtual Symmetry Reduction. 121-131 2000 LICS http://www.computer.org/proceedings/lics/0725/07250121abs.htm db/conf/lics/lics2000.html#EmersonHT00