Fig. 2From: Terminating constraint set satisfiability and simplification algorithms for context-dependent overloadingType class constraint entailmentBack to article page