@article {4443714,
	title = {Mathematical proofs in practice: Revisiting the reliability of published mathematical proofs},
	journal = {Theoria. Revista de Teor{\'\i}a, Historia y Fundamentos de la Ciencia},
	volume = {29},
	number = {3},
	year = {2015},
	pages = {345{\textendash}360},
	author = {Frans, Joachim and Kosolosky, Laszlo}
}
