A computation of the ninth Dedekind number
scientific article; zbMATH DE number 7975268