publicações Um Estudo Comparativo em Unificação de Ordem Superior via Cálculos de Substituições Explícitas Documento
