Optimised Calculation of Symmetries for State Space Reduction.

Harro Wimmel
Published in: AWPN (2010)