Symmetry breaking via so-called Shape analysis.
Breaking symmetry in model checking of transition systems. Competition for the Jussi 2003 work...