@inproceedings{diagnosis,
	author          = {Shekhar Gupta and Nico Roos and Cees Witteveen and Bob Price and Johan DeKleer},
	title           = {Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis},
	booktitle       = {AAAI Conference on Artificial Intelligence},
	publisher       = {Association for the Advancement of Artificial IntelligenceAAAI},
	year            = {2012},
	pages           = {2425-2426},
	topic           = {Model-Based Diagnosis},
	group           = {ALG}
}