@article {kavvadias1998maximal,
	title = {On the maximal models of Horn formulas},
	year = {1998},
	institution = {Citeseer},
	author = {Kavvadias, Dimitris J and Sideri, Martha and Elias C. Stavropoulos}
}
