Joachim Niehren Tim Priesnitz Non-structural subtype entailment in automata theory. 319-354 2003 186 Inf. Comput. 2 http://dx.doi.org/10.1016/S0890-5401(03)00140-8 db/journals/iandc/iandc186.html#NiehrenP03