A complete method for symmetry reduction in safety verification - Chu, D.-H. (2013)
10.1007/978-3-642-31424-7_43