@proceedings {dereasoning,
	title = {Reasoning with computer-assisted experiments in mathematics},
	journal = {Third Workshop in the Philosophy of Information},
	year = {2012},
	pages = {80-92},
	publisher = {Koninklijke Vlaamse Academie van Belgi{\"e} door Wetenschappen en Kunsten},
	author = {De Mol, Liesbeth},
	editor = {Primiero, Giuseppe and Allo, Patrick}
}
@article {DeMol2012,
	title = {Report {\textquoteright}International Conference on History and Philosophy of Computing{\textquoteright} (HAPOC)},
	journal = {The Reasoner},
	volume = {6},
	number = {1},
	year = {2012},
	pages = {7-8},
	author = {De Mol, Liesbeth and Primiero, Giuseppe}
}
