@doctoralThesis{Benzmueller_1999,
title={Equality and extensionality in automated higher-order theorem proving},
author={Benzmueller, Christoph},
doi={http://dx.doi.org/10.22028/D291-25680},
year={1999}
}