@doctoralThesis{Priesnitz_2004,
title={Subtype satisfiability and entailment},
author={Priesnitz, Tim},
doi={http://dx.doi.org/10.22028/D291-25888},
year={2004}
}