@conferenceObjectPart{NiehrenPriesnitz_2001, title={Non-structural subtype entailment in automata theory}, author={Niehren, Joachim and Priesnitz, Tim}, doi={http://dx.doi.org/10.22028/D291-25776}, year={2001} }