@ARTICLE\{IMM2003-05233,
    author       = "I. L. G{\o}rtz and S. Reuss and M. H. S{\o}rensen",
    title        = "Strong Normalization from Weak Normalization by Translation into the lambda-I-calculus",
    year         = "2003",
    month        = "sep",
    pages        = "253-285",
    journal      = "Higher-Order and Symbolic Computation",
    volume       = "16",
    editor       = "",
    number       = "3",
    publisher    = "Kluwer Academic Publishers",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5233-full.html"
}