The complexity of subtype entailment for simple types | IEEE Conference Publication | IEEE Xplore