@Article{LQTdF05,
  author  = {Olivier Laurent and Myriam Quatrini and Tortora de Falco, Lorenzo},
  title   = {Polarized and Focalized Linear and Classical Proofs},
  journal = {Annals of Pure and Applied Logic},
  volume  = {134},
  number  = {2--3},
  pages   = {217--264},
  month   = jul,
  year    = {2005}
}