@Inproceedings{EPTCS176.3,
  author    = {Brock-Nannestad, Taus and Guenot, Nicolas},
  year      = {2015},
  title     = {Cut Elimination in Multifocused Linear Logic},
  editor    = {Alves, Sandra and Cervesato, Iliano},
  booktitle = {{\rm Proceedings Third International Workshop on}
               Linearity,
               {\rm Vienna, Austria, 13th July, 2014}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {176},
  publisher = {Open Publishing Association},
  pages     = {24-33},
  doi       = {10.4204/EPTCS.176.3},
}