João Alcântara Carlos Viegas Damásio Luís Moniz Pereira An encompassing framework for Paraconsistent Logic Programs. 67-95 2005 3 J. Applied Logic 1 http://dx.doi.org/10.1016/j.jal.2004.07.012 db/journals/japll/japll3.html#AlcantaraDP05