@Unpublished{     penelle:hal-01117753,
  Author        = "Penelle, Vincent",
  date-added    = "2015-02-20 12:40:15 +0000",
  date-modified = "2015-02-20 12:40:15 +0000",
  hal_id        = "hal-01117753",
  hal_version   = "v1",
  Month         = "December",
  Title         = "{Rewriting Higher-Order Stack Trees}",
  URL           = "https://hal-upec-upem.archives-ouvertes.fr/hal-01117753",
  Year          = "2014",
  bdsk-url-1    = "https://hal-upec-upem.archives-ouvertes.fr/hal-01117753",
  File          = "Rewriting Higher-Order Stack Trees - Penelle (1) (0) - a - a - x.pdf",
  file-2        = "Rewriting Higher-Order Stack Trees - Penelle (0) (0) - a - a - x.pdf"
}

@Unpublished{ penelle:hal-01117753, Author = "Penelle, Vincent", date-added = "2015-02-20 12:40:15 +0000", date-modified = "2015-02-20 12:40:15 +0000", hal_id = "hal-01117753", hal_version = "v1", Month = "December", Title = "{Rewriting Higher-Order Stack Trees}", URL = "https://hal-upec-upem.archives-ouvertes.fr/hal-01117753", Year = "2014", bdsk-url-1 = "https://hal-upec-upem.archives-ouvertes.fr/hal-01117753", File = "Rewriting Higher-Order Stack Trees - Penelle (1) (0) - a - a - x.pdf", file-2 = "Rewriting Higher-Order Stack Trees - Penelle (0) (0) - a - a - x.pdf" }