From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking.

E. Allen Emerson Richard J. Trefler From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking. 142-156 http://dx.doi.org/10.1007/3-540-48153-2_12 1999 conf/charme/1999 CHARME db/conf/charme/charme1999.html#EmersonT99