1. Contributions to the Theory of Logic Programming;Apt;J. Assoc. Comput. Mach.,1982
2. Towards a Theory of Declarative Knowledge;Apt,1987
3. A Useful Four-Valued Logic;Belnap,1977
4. A Logic Programming Semantics Scheme;Blair,1988
5. Blair, H.A. and Subrahmanian, V.S., Paraconsistent Logic Programming, in: Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Comput. Sci. 287, Springer.