@Unpublished{Laurent04bnote,
  author = {Olivier Laurent},
  title  = {A proof of the focalization property of Linear Logic},
  note   = {Unpublished note},
  month  = may,
  year   = {2004}
}