On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17 - Καββαδίας, Δημήτρης; Σιδέρη, Μάρθα; Σταυρόπουλος, Ηλίας Χ. (Computer Technology Institute, 1998)