@article{NiehrenPriesnitz_2003, title={Non-structural subtype entailment in automata theory}, author={Niehren, Joachim and Priesnitz, Tim}, doi={http://dx.doi.org/10.22028/D291-25763}, year={2003} }