TY  - RPRT
TI  - Towards an efficient prover for the C1 paraconsistent logic
AU  - Adolfo Neto
AU  - Celso A. A. Kaestner
AU  - Marcelo Finger
PY  - 2012
DO  - 10.1016/j.entcs.2009.11.007
UR  - https://arxiv.org/abs/1202.4144
ID  - 1202.4144
ER  -