@misc{indiciae449e76362f4d,
  title = {Towards an efficient prover for the C1 paraconsistent logic},
  author = {Adolfo Neto and Celso A. A. Kaestner and Marcelo Finger},
  year = {2012},
  doi = {10.1016/j.entcs.2009.11.007},
  url = {https://arxiv.org/abs/1202.4144},
  note = {Source identifier: 1202.4144}
}