Fig. 4From: Terminating constraint set satisfiability and simplification algorithms for context-dependent overloadingTerminating constraint set satisfiabilityBack to article page