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