@doctoralThesis{Kohlhase_1994,
title={A mechanization of sorted higher-order logic based on the resolution principle},
author={Kohlhase, Michael},
doi={http://dx.doi.org/10.22028/D291-25891},
year={1994}
}