@article {kavvadias2000generating,
	title = {Generating all maximal models of a Boolean expression},
	journal = {Information Processing Letters},
	volume = {74},
	number = {3},
	year = {2000},
	pages = {157{\textendash}162},
	publisher = {Elsevier},
	author = {Kavvadias, Dimitris J and Sideri, Martha and Elias C. Stavropoulos}
}
@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}
}
