@doctoralThesis{Fleury_2020,
title={Formalization of logical calculi in Isabelle/HOL},
author={Fleury, Mathias},
doi={http://dx.doi.org/10.22028/D291-30179},
year={2020}
}