Adolfo Gustavo Serra Seca Neto, Marcelo Finger. Effective Prover for Minimal Inconsistency Logic. In Max Bramer, editor, Artificial Intelligence in Theory and Practice, IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile. Volume 217 of IFIP, pages 465-474, Springer, 2006. [doi]
Abstract is missing.