1. A survey of paraconsistent logic. In: Mathematical Logic in Latin America (, , eds.), D. Reidel Publ. Comp., Dordrecht 1979, pp. 1–41.
2. A useful four-valued logic. In: Modern Uses of Multivalued Logic ( and , eds.), D. Reidel Publ. Comp., Dordrecht 1977, pp. 8–37.
3. and , Paraconsistent logic programming. In: Proc. 7th Conference on Foundations of Software Technology and Theoretical Computer Science, Springer Lecture Notes in Computer Science 287 (1987), 340–360.
4. Paraconsistent logic programming
5. and , Strong completeness results for paraconsistent logic programming. Submitted.