@misc{indiciaea1dc1ceb0505,
  title = {Computational interpretation of classical logic with explicit structural rules},
  author = {Silvia Ghilezan and Pierre Lescanne and Dragisa Zunic},
  year = {2012},
  url = {https://arxiv.org/abs/1203.4754},
  note = {Source identifier: 1203.4754}
}