@inproceedings{feldman07approximate-dx,
	author          = {Alexander Feldman and Gregory Provan and Arjan van Gemund},
	title           = {Approximate Model-Based Diagnosis Using Greedy Stochastic Search},
	booktitle       = {Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-07), Nashville, Tennessee, USA},
	year            = {2007},
	month           = {May},
	pages           = {290--297},
	topic           = {Model-Based Diagnosis},
	group           = {SE}
}