ByNobleID
    An effective compactness theorem for Coxeter groups | NobleID