The uniqueness theorem for rotating black hole solutions of self-gravitating harmonic mappings
scientific article; zbMATH DE number 792915