@inproceedings{conf/sara/SaittaTT07,
	title = {Formalizing the Abstraction Process in Model-Based Diagnosis.},
	author = {Lorenza Saitta and Pietro Torasso and Gianluca Torta},
	booktitle = {SARA},
	crossref = {conf/sara/2007},
	editor = {Ian Miguel and Wheeler Ruml},
	pages = {314-328},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/sara/sara2007.html#SaittaTT07},
	volume = {4612},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2267d8ae0550d19ac4c0b5978a0edc334/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-73580-9_25}, isbn = {978-3-540-73579-3}, date = {2007-09-04},
	keywords = {dblp }
}