Flávio L. C. de Moura

@book{AM17,
   title =     {Applied Logic for Computer Scientists - Computational Deduction and Formal Proofs},
   author =    {M. Ayala-Rincón and F. L. C. de Moura},
   publisher = {Springer},
   isbn =      {978-3-319-51653-0},
   year =      2017,
   series =    {UTCS}}