On the maximal models of Horn formulas (1998)

by D J Kavvadias, M Sideri, E C Stavropoulos