Directed hypergraphs and Horn minimization

The present paper considers the problem of finding minimal representations of pure Horn functions. We give a new proof for a recent min-max result of Boros et al. regarding body-minimal representations. The proof is algorithmic and finds the so called Guigues-Duquenne basis. We also describe a new construction that combines two existing representations into a third one.