On the order-theoretic properties of lower concept formula systems
scientific article; zbMATH DE number 6509399
scientific article