@InProceedings{LaurentRegnier03,
  author    = {Olivier Laurent and Laurent Regnier},
  title     = {About Translations of Classical Logic into Polarized Linear Logic},
  pages     = {11--20},
  booktitle = {Proceedings of the eighteenth annual {IEEE} symposium on {L}ogic {I}n {C}omputer {S}cience},
  publisher = {IEEE Computer Society Press},
  month     = jun,
  year      = {2003}
}