Yongjian Li William N. N. Hung Xiaoyu Song Naiju Zeng Exploring structural symmetry automatically in symbolic trajectory evaluation. 117-143 2011 39 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-011-0119-z db/journals/fmsd/fmsd39.html#LiHSZ11