Reduções controladas por algoritmo