Text this: On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17