1. A survey of paraconsistent logic;Arruda,1980
2. A. Bauval and L. Cholvy. Gestion des exceptions et maintien de la cohérence dans les bases de données déductives. Technical report, 1/3342/CERT/DERI, Toulouse, France, 1990.
3. L. Cholvy. Gestion des exceptions et maintien de la cohérence. Technical report, 1/3318/CERT/DERI, Toulouse, France, 1989.
4. L. Cholvy. Update semantics under the domain closure assumption. In proc of International conference on database theory, Rome, 1986.
5. M. Cialdea. Une méthode de déduction automatique en logique modale. PhD thesis, Université Paul Sabatier, Toulouse France, 1986.