changeset 1739 | 468c3c1adcba |
parent 1728 | 9bbf2a1f9b3f |
child 1742 | 3f78dc600dce |
--- 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,