@article {kavvadias2005efficient,
	title = {An efficient algorithm for the transversal hypergraph generation.},
	journal = {J. Graph Algorithms Appl.},
	volume = {9},
	number = {2},
	year = {2005},
	pages = {239{\textendash}264},
	author = {Kavvadias, Dimitris J and Elias C. Stavropoulos}
}
@booklet {kavvadias2003checking,
	title = {Checking monotone Boolean duality with limited nondeterminism},
	year = {2003},
	publisher = {Citeseer},
	author = {Kavvadias, Dimitris J and Elias C. Stavropoulos}
}
@article {kavvadias2003monotone,
	title = {Monotone boolean dualization is in co-NP [log 2 n]},
	journal = {Information Processing Letters},
	volume = {85},
	number = {1},
	year = {2003},
	pages = {1{\textendash}6},
	publisher = {Elsevier},
	author = {Kavvadias, Dimitris J and Elias C. Stavropoulos}
}
@article {kavvadias2001technical,
	title = {TECHNICAL REPORT No. TR2001/12/03},
	year = {2001},
	institution = {Citeseer},
	author = {Kavvadias, Dimitris J and Elias C. Stavropoulos}
}
@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}
}
@inbook {kavvadias1999evaluation,
	title = {Evaluation of an algorithm for the transversal hypergraph problem},
	booktitle = {Algorithm Engineering},
	year = {1999},
	pages = {72{\textendash}84},
	publisher = {Springer},
	organization = {Springer},
	author = {Kavvadias, Dimitris J 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}
}
@article {kavvadias1998resolution,
	title = {On a resolution theorem for maximal models},
	year = {1998},
	institution = {Citeseer},
	author = {Kavvadias, Dimitris J and Elias C. Stavropoulos}
}
