@inproceedings{feldman08miranda,
	author          = {Alexander Feldman and Gregory Provan and Arjan van Gemund},
	title           = {Computing Minimal Diagnoses by Greedy Stochastic Search},
	booktitle       = {Proceedings of the Twenty-Third National Conference on Artificial Intelligence (AAAI'08), July 13-17 Chicago, Illinos, USA},
	publisher       = {AAAI Press},
	year            = {2008},
	month           = {July},
	editor          = {Dieter Fox and Carla P. Gomes},
	pages           = {919--924},
	isbn            = {978-1-57735-368-3},
	group           = {SE}
}