@misc{indiciaec5252f58a912,
  title = {Nelson's Logic S},
  author = {Thiago Nascimento and Umberto Rivieccio and Joao Marcos and Matthew Spinks},
  year = {2019},
  url = {https://arxiv.org/abs/1803.10851},
  note = {Source identifier: 1803.10851}
}