Polynomial-time inference of all valid implications for Horn and related formulae
scientific article; zbMATH DE number 1017058
scientific article