@Unpublished{Laurent13anote,
  author = {Olivier Laurent},
  title  = {Sequentialization of Multiplicative Proof Nets},
  note   = {Unpublished note},
  month  = apr,
  year   = {2013}
}
