@inproceedings{feldman07generating,
	author          = {Alexander Feldman and Gregory Provan and Arjan van Gemund},
	title           = {Generating Manifestations of Max-Fault Min-Cardinality Diagnoses},
	booktitle       = {Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-07), Nashville, Tennessee, USA},
	year            = {2007},
	month           = {May},
	pages           = {83--90},
	topic           = {Model-Based Diagnosis},
	group           = {SE}
}