Alexander Feldman Gregory M. Provan Arjan J. C. van Gemund Approximate Model-Based Diagnosis Using Greedy Stochastic Search. 139-154 2007 conf/sara/2007 SARA http://dx.doi.org/10.1007/978-3-540-73580-9_13 db/conf/sara/sara2007.html#FeldmanPG07