@InProceedings{LTdF04,
  author    = {Olivier Laurent and Tortora de Falco, Lorenzo},
  title     = {Slicing polarized additive normalization},
  booktitle = {Linear Logic in Computer Science},
  editor    = {Thomas Ehrhard and Jean-Yves Girard and Paul Ruet and Philip Scott},
  volume    = {316},
  series    = {London Mathematical Society Lecture Note Series},
  publisher = {Cambridge University Press},
  pages     = {247--282},
  month     = nov,
  year      = {2004}
}