Chenqi Mou, Yang Bai. On the Chordality of Polynomial Sets in Triangular Decomposition in Top-Down Style. In Manuel Kauers, Alexey Ovchinnikov, Éric Schost, editors, Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018. pages 287-294, ACM, 2018. [doi]
Abstract is missing.