TY  - RPRT
TI  - Proof Search on Bilateralist Judgments over Non-deterministic Semantics
AU  - Vitor Greati
AU  - Sérgio Marcelino
AU  - João Marcos
PY  - 2021
UR  - https://arxiv.org/abs/2107.08349
ID  - 2107.08349
ER  -