<?xml version="1.0"?>
<dblp>
<article key="journals/corr/abs-0905-2892" mdate="2009-06-01">
<author>Ren&#233; David</author>
<author>Karim Nour</author>
<title>Strong normalization results by translation</title>
<ee>http://arxiv.org/abs/0905.2892</ee>
<year>2009</year>
<journal>CoRR</journal>
<volume>abs/0905.2892</volume>
<url>db/journals/corr/corr0905.html#abs-0905-2892</url>
<note>informal publication</note>
</article>
</dblp>
