Fig. 1From: Terminating constraint set satisfiability and simplification algorithms for context-dependent overloadingConstrained types and contextBack to article page