Email Record: Algoritmos de reducción en la teoría de representaciones de coalgebras