Complexity Analysis of Triangular Decomposition over F_2 with Strongly Chordal Graphs. - Zhaoxing Qi; Chenqi Mou (ISSAC, 2024)