Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada - Nobre, Emerson Faria (2001)
Orientador: Décio Krause