@InProceedings{   DBLP:conf/birthday/HuetL91,
  Author        = "Huet, G{\'e}rard P. and L{\'e}vy, Jean-Jacques",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "Computational Logic - Essays in Honor of Alan Robinson",
  date-added    = "2014-01-31 06:19:50 +0000",
  date-modified = "2014-01-31 06:19:50 +0000",
  Pages         = "395-414",
  Title         = "Computations in Orthogonal Rewriting Systems, I",
  Year          = "1991",
  File          = "Computations in Orthogonal Rewriting Systems, I - Huet, Lévy (0) (0) - a - a - g.pdf"
}

@InProceedings{ DBLP:conf/birthday/HuetL91, Author = "Huet, G{\'e}rard P. and L{\'e}vy, Jean-Jacques", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "Computational Logic - Essays in Honor of Alan Robinson", date-added = "2014-01-31 06:19:50 +0000", date-modified = "2014-01-31 06:19:50 +0000", Pages = "395-414", Title = "Computations in Orthogonal Rewriting Systems, I", Year = "1991", File = "Computations in Orthogonal Rewriting Systems, I - Huet, Lévy (0) (0) - a - a - g.pdf" }