@inproceedings{feldman07interchange,
	author          = {Alexander Feldman and Gregory Provan and Arjan van Gemund},
	title           = {Interchange Formats and Automated Benchmark Model Generators for Model-Based Diagnostic Inference},
	booktitle       = {Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-07), Nashville, Tennessee, USA},
	year            = {2007},
	month           = {May},
	pages           = {91--98},
	topic           = {Model-Based Diagnosis},
	group           = {SE}
}