@InProceedings{LaurentMaieli08,
  author    = {Olivier Laurent and Roberto Maieli},
  title     = {Cut Elimination for Monomial MALL Proof Nets},
  booktitle = {Proceedings of the twenty-third annual {IEEE} symposium on {L}ogic {I}n {C}omputer {S}cience},
  publisher = {IEEE Computer Society Press},
  pages     = {486--497},
  month     = jun,
  year      = {2008}
}