The strong independence theorem for automorphism groups and congruence lattices of finite lattices
scientific article; zbMATH DE number 767408