Adriana B. Compagnoni: Decidability of Higher-Order Subtyping with Intersection Types. CSL 1994: 46-60