Adolfo Gustavo Serra Seca Neto Marcelo Finger Effective Prover for Minimal Inconsistency Logic. 465-474 2006 conf/ifip12/2006 IFIP AI http://dx.doi.org/10.1007/978-0-387-34747-9_48 db/conf/ifip12/ai2006.html#NetoF06