@misc{miscb5ff7349,
title   = {Towards an efficient prover for the C1 paraconsistent logic},
author = {Neto, Adolfo and Kaestner, Celso A. A. and Finger, Marcelo},
year = {2009},
doi = {10.1016/j.entcs.2009.11.007},
publisher = {Elsevier},
booktitle   = {Workshop on Logical and Semantic Frameworks, with Applications - LSFA}
}