A derived algorithm for evaluating epsilon-expressions over abstract sets