TY - RPRT TI - On the chordality of polynomial sets in triangular decomposition in top-down style AU - Chenqi Mou AU - Yang Bai PY - 2018 UR - https://arxiv.org/abs/1802.01752 ID - 1802.01752 ER -