Definability in substructure orderings. IV: Finite lattices
scientific article; zbMATH DE number 5652291