Subtype satisfiability and entailment

Subtype constraints were introduced in advanced programming language research for designing subtype systems and program analysis algorithms. Two logical prob...