Flávio L. C. de Moura

@PhdThesis{Mou06,
  author =       {F. L. C. de Moura},
  title =        {Um Estudo Comparativo sobre Unificação de Ordem Superior em Cálculos de Substituições Explícitas},
  school =       {Universidade de Brasília},
  year =         2006,
  note =         {{\tt http://flaviomoura.mat.br}}}