@misc{indiciaeb5db4ca11ce2,
  title = {Light Logics and Optimal Reduction: Completeness and Complexity},
  author = {Patrick Baillot and Paolo Coppola and Ugo Dal Lago},
  year = {2007},
  url = {https://arxiv.org/abs/0704.2448},
  note = {Source identifier: 0704.2448}
}