Sobre os fundamentos de programação lógica paraconsistente - Rodrigues, Tarcísio Genaro (2010)
Orientador: Marcelo Esteban Coniglio