This work is a commented collection of five papers dealing with various properties of Horn Boolean formulae
