Universal Horn axiom systems for lattices of submodules
scientific article; zbMATH DE number 3583871