Re:Paper anouncement

At 18:58 +0100 2.11.04, Lutz Strassburger wrote:
> there might be some interest in the following paper that we 
> submitted to TLCA'05:
>
> Title: Naming Proofs in Classical Propositional Logic
>
> Authors: Francois Lamarche and Lutz Strassburger

Nice introduction. I would have made some room for citing the CSL 04 
paper (referee persuasion!).   -Alessio