Recursively recognizable local formations of finite groups.
scientific article; zbMATH DE number 6039752