1. Temporal Logic Programming;Abadi;Proceedings of the 4th IEEE Symposium on Logic Programming,1987
2. Towards a Theory of Declarative Knowledge;Apt,1988
3. Temporal Logic Programming is Complete and Expressive;Baudinet;Proceedings of the ACM Conference on Principles of Programming Languages,1989
4. A Useful Four-Valued Logic;Belnap,1977
5. Paraconsistent Logic Programming;Blair;Theoret. Comput. Sci.,1989