TY - RPRT TI - Symmetry Breaking with Polynomial Delay AU - Tim januschowski AU - Barbara M. Smith AU - M. R. C. van Dongen PY - 2010 UR - https://arxiv.org/abs/1012.5585 ID - 1012.5585 ER -