@doctoralThesis{Fiedler_2001,
title={User-adaptive proof explanation},
author={Fiedler, Armin},
doi={http://dx.doi.org/10.22028/D291-25695},
subtitle={Benutzeradaptive Beweiserklaerung},
year={2001}
}