Flávio L. C. de Moura

@article{MBAK11,
  author    = {F. L. C. de Moura and
               A. V. Barbosa and
               M. Ayala-Rinc{\'o}n and
               F. Kamareddine},
  title     = {A Flexible Framework for Visualisation of Computational
               Properties of General Explicit Substitutions Calculi},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {269},
  year      = {2011},
  pages     = {41-54},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2011.03.004},
  bibsource = {DBLP, http://dblp.uni-trier.de}}