Joachim Niehren Tim Priesnitz Non-structural Subtype Entailment in Automata Theory. 360-384 2001 conf/tacs/2001 TACS http://link.springer.de/link/service/series/0558/bibs/2215/22150360.htm db/conf/tacs/tacs2001.html#NiehrenP01