@InProceedings{   BonelliKesnerRios,
  Author        = "Bonelli, Eduardo and Kesner, Delia and Rios, Alejandro",
  BookTitle     = "Rewriting Techniques and Applications",
  date-added    = "2014-01-25 10:58:39 +0000",
  date-modified = "2014-01-25 10:59:45 +0000",
  Title         = "From Higher-Order to First-Order Rewriting",
  Year          = "2001",
  File          = "From Higher-Order to First-Order Rewriting - Bonelli, Kesner, Rios (0) (0) - a - a - t.pdf"
}

@InProceedings{ BonelliKesnerRios, Author = "Bonelli, Eduardo and Kesner, Delia and Rios, Alejandro", BookTitle = "Rewriting Techniques and Applications", date-added = "2014-01-25 10:58:39 +0000", date-modified = "2014-01-25 10:59:45 +0000", Title = "From Higher-Order to First-Order Rewriting", Year = "2001", File = "From Higher-Order to First-Order Rewriting - Bonelli, Kesner, Rios (0) (0) - a - a - t.pdf" }