@Article{         david:hal-00381601,
  Author        = "David, Ren{\'e} and Nour, Karim",
  date-added    = "2020-09-14 09:52:05 +0200",
  date-modified = "2020-09-14 09:52:05 +0200",
  hal_id        = "hal-00381601",
  hal_version   = "v1",
  Journal       = "{The Journal of Symbolic Logic}",
  Number        = "4",
  Pages         = "1277-1288",
  PDF           = "https://hal.archives-ouvertes.fr/hal-00381601/file/new\_sn.pdf",
  Title         = "{A short proof of the Strong Normalization of Classical Natural Deduction with Disjunctio}",
  URL           = "https://hal.archives-ouvertes.fr/hal-00381601",
  Volume        = "68",
  Year          = "2003",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-00381601",
  File          = "Evaluation and interpolation over multivariate skew polynomial rings - 1710.09606 - a - h.pdf"
}

@Article{ david:hal-00381601, Author = "David, Ren{\'e} and Nour, Karim", date-added = "2020-09-14 09:52:05 +0200", date-modified = "2020-09-14 09:52:05 +0200", hal_id = "hal-00381601", hal_version = "v1", Journal = "{The Journal of Symbolic Logic}", Number = "4", Pages = "1277-1288", PDF = "https://hal.archives-ouvertes.fr/hal-00381601/file/new_sn.pdf", Title = "{A short proof of the Strong Normalization of Classical Natural Deduction with Disjunctio}", URL = "https://hal.archives-ouvertes.fr/hal-00381601", Volume = "68", Year = "2003", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-00381601", File = "Evaluation and interpolation over multivariate skew polynomial rings - 1710.09606 - a - h.pdf" }