Tree size reduction with keeping distinguishability
scientific article; zbMATH DE number 6989359