TY  - RPRT
TI  - Nelson's Logic S
AU  - Thiago Nascimento
AU  - Umberto Rivieccio
AU  - Joao Marcos
AU  - Matthew Spinks
PY  - 2019
UR  - https://arxiv.org/abs/1803.10851
ID  - 1803.10851
ER  -