Further notes on cell decomposition in closed ordered differential fields
scientific article; zbMATH DE number 5563894