Dynamic Symmetry Reduction.

E. Allen Emerson, Thomas Wahl

Browse the full TACAS paper archive.