Flávio L. C. de Moura

@InProceedings{Mou16,
  author =       {F.L.C. de Moura},
  title =        {Unification for $\lambda$-calculi without propagation rules},
  crossref =  {ictac2016},
  year =         2016,
  doi = {10.1007/978-3-319-46750-4 11},
  pages =        {179-195}}

@Proceedings{ictac2016,
 title = {Theoretical Aspects of Computing - ICTAC 2016}, 
 year =          2016,
 editor =        {A. Sampaio and F. Wang},
 volume =        9965,
 series =        {Lecture Notes in Computer Science},
 publisher = {Springer International Publishing},
 doi = {10.1007/978-3-319-46750-4},
 url = {http://dx.doi.org/10.1007/978-3-319-46750-4}}