On the maximal models of Horn formulas

TitleOn the maximal models of Horn formulas
Publication TypeReport
Year of Publication1998
AuthorsKavvadias, DJ, Sideri, M, Stavropoulos, EC
InstitutionCiteseer