@booklet {kavvadias2003checking,
	title = {Checking monotone Boolean duality with limited nondeterminism},
	year = {2003},
	publisher = {Citeseer},
	author = {Kavvadias, Dimitris J and Elias C. Stavropoulos}
}
