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