@inproceedings{feldman07approximate,
	author          = {Alexander Feldman and Gregory Provan and Arjan van Gemund},
	title           = {Approximate Model-Based Diagnosis Using Greedy Stochastic Search},
	booktitle       = {Proceedings of the Seventh Symposium on Abstraction Reformulation, and Approximation, Whistler, Canada},
	year            = {2007},
	month           = {July},
	pages           = {139--154},
	topic           = {Model-Based Diagnosis},
	group           = {SE}
}