@InProceedings{   DBLP:conf/birthday/HuetL91a,
  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:24 +0000",
  date-modified = "2014-01-31 06:19:24 +0000",
  Pages         = "415-443",
  Title         = "Computations in Orthogonal Rewriting Systems, II",
  Year          = "1991",
  File          = "Computations in Orthogonal Rewriting Systems, II - Huet, Lévy (0) (0) - a - a - t.pdf"
}

@InProceedings{ DBLP:conf/birthday/HuetL91a, 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:24 +0000", date-modified = "2014-01-31 06:19:24 +0000", Pages = "415-443", Title = "Computations in Orthogonal Rewriting Systems, II", Year = "1991", File = "Computations in Orthogonal Rewriting Systems, II - Huet, Lévy (0) (0) - a - a - t.pdf" }