[Resumen] SE PRESENTA UN NUEVO ALGORITMO UNIVERSAL DE E-UNIFICACION QUE ES COMPLETO EN TEORIAS GENERALES, UTILIZANDO EL ESQUEMA DE UNIFICACION DE PARES DE SUBSTITUCIONES, ESTE METODO ES UNA GENERALIZACION DE NARROWING ...