@article{bellomo_bolzano_nodate,
	title = {Bolzano on the {Reals} [ongoing]},
	author = {Bellomo, Anna and Betti, Arianna},
}