diff -r be28f7b4b97b -r 468c3c1adcba Paper/document/root.bib --- a/Paper/document/root.bib Thu Apr 01 01:05:05 2010 +0200 +++ b/Paper/document/root.bib Thu Apr 01 03:28:28 2010 +0200 @@ -11,7 +11,7 @@ title = "{T}he {L}ocally {N}ameless {R}epresentation", year = "2009", note = "To appear in J.~of Automated Reasoning. - {http://arthur.chargueraud.org/research/2009/ln/}", + http://arthur.chargueraud.org/research/2009/ln", } @article{NaraschewskiNipkow99,