Décio Krause, Emerson Faria Nobre, Martin A. Musicante. Bibel s Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation. In 21st International Conference of the Chilean Computer Science Society (SCCC 2001), 6-8 November 2001, Punta Arenas, Chile. pages 161-167, IEEE Computer Society, 2001. [doi]
Abstract is missing.