On Contradictions and their Propagation in Paraconsistent Logic Programs

Authors

Carlos Viegas Damásio, Luís Moniz Pereira,