R-Trees and Normalization of Pseudogroups
scientific article; zbMATH DE number 223004