Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation. - Décio Krause; Emerson Faria Nobre; Martin A. Musicante (SCCC, 2001)