@inproceedings { BPS10,
	title = {A Flexible Schema for Generating Explanations in Lazy Theory Propagation},
	booktitle = {International Conference on Formal Methods and Models for Codesign (MEMOCODE)},
	year = {2010},
	note = {to appear},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	address = {Grenoble, France},
	author = {Roberto Bruttomesso and  Edgar Pek and  Natasha Sharygina}
}