Flávio L. C. de Moura

@inproceedings{Moura04,
  author    = {F. L. C. de Moura},
  title     = {Understanding Higher Order Unification via Explicit Substitutions
               and Patterns},
  booktitle = {Contributions to the Doctoral Programme of the 2nd International Joint
               Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004.},
  year      = {2004},
  crossref  = {DBLP:conf/cade/2004phd},
  url       = {http://ceur-ws.org/Vol-106/12-moura.pdf},
  timestamp = {Mon, 30 May 2016 17:03:35 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cade/Moura04},
  bibsource = {dblp computer science bibliography, http://dblp.org}}

@proceedings{DBLP:conf/cade/2004phd,
  editor    = {Ulrike Sattler},
  title     = {Contributions to the Doctoral Programme of the 2nd International Joint
               Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {106},
  publisher = {CEUR-WS.org},
  year      = {2004},
  url       = {http://ceur-ws.org/Vol-106},
  urn       = {urn:nbn:de:0074-106-5},
  timestamp = {Mon, 30 May 2016 17:03:35 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cade/2004phd},
  bibsource = {dblp computer science bibliography, http://dblp.org}}