Inferring minimal functional dependencies in Horn and q-Horn theories
scientific article; zbMATH DE number 1924967