Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song. Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation. Comput. J., 57(1):115-128, 2014. [doi]
@article{LiZHS14,
title = {Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation},
author = {Yongjian Li and Naiju Zeng and William N. N. Hung and Xiaoyu Song},
year = {2014},
doi = {10.1093/comjnl/bxs161},
url = {http://dx.doi.org/10.1093/comjnl/bxs161},
researchr = {https://researchr.org/publication/LiZHS14},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {57},
number = {1},
pages = {115-128},
}