On the decidability of subtyping with bounded existential types and implementation constraints
scientific article; zbMATH DE number 6107851