We prove that the non-structural subtype entailment problem for finite and regular type expressions is in PSPACE. In this way we close a decidability and complexity gap pending since 1996.

中文翻译：

---

关于非结构子类型蕴涵

我们证明了有限和正则类型表达式的非结构子类型蕴涵问题在 PSPACE 中。通过这种方式，我们缩小了自 1996 年以来悬而未决的可判定性和复杂性差距。