The equivalence of Horn and network complexity for Boolean functions
complexity measure for logical functions
scientific article; zbMATH DE number 3750862