@article {319503,
	title = {Explanatory Proofs in Mathematics},
	journal = {Logique et Analyse},
	volume = {45},
	number = {179{\textendash}180},
	year = {2002},
	pages = {299{\textendash}307},
	issn = {0024-5836},
	author = {Weber, Erik and Verhoeven, Liza}
}
