Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
scientific article; zbMATH DE number 7635696