@inproceedings{lam:str:05:naming,
   author =  {Fran\c{c}ois Lamarche and Lutz Stra{\ss}burger},
   title =   {Naming Proofs in Classical Propositional Logic},
   booktitle={Typed Lambda Calculi and Applications, TLCA 2005},
   editor ="Pawe\l\ Urzyczyn",
   series    = {Lecture Notes in Computer Science},
   volume    = {3461},
   publisher = {Springer-Verlag},
   pages="246--261",
   year =    2005,
}