@workingPaper{Hense_1991, title={Type inference for O´small}, author={Hense, Andreas V.}, doi={http://dx.doi.org/10.22028/D291-26462}, year={1991} }