Optimal compression of propositional Horn knowledge bases: Complexity and approximation
scientific article; zbMATH DE number 500712