Flávio L. C. de Moura

@Book{AM14,
  author =       {M. Ayala-Rinc\'on and F. L. C. de Moura},
  title =        {Fundamentos da Programa\c{c}\~ao L\'ogica e Funcional - O princ\'ipio de Resolu\c{c}\~ao e a Teoria de Reescrita},
  publisher =    {Universidade de Bras\'ilia},
  year =         2014,
  url = {{http://www.editora.unb.br/lstDetalhaProduto.aspx?pid=742}}}