@inproceedings{HungAzizHeuristicSymmetry1997, author = {W.N.N. Hung and A. Aziz and K.L. McMillan}, title = {Heuristic symmetry reduction for invariant verification}, booktitle = {Internaitonal Workshop on Logic Synthesis ({IWLS} '97)}, year = "1997", url = {IWLS97.pdf} }