"Static Symmetry Breaking with the Reflex Ordering."

Jimmy H. M. Lee, Zichen Zhu (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics