1. Lecture Notes in Computer Science;R. Barbuti,1987
2. Barbuti, R., Mancarella, D., Pedreschi, D., Turini, F.: A transformational approach to negation in logic programming. JLP 8(3), 201–228 (1990)
3. Lecture Notes in Computer Science;P. Bruscoli,1994
4. Chan, D.: Constructive negation based on the completed database. In: Proc. Int. Conference on LP 1988, pp. 111–125. The MIT Press, Cambridge (1988)
5. Chan, D.: An extension of constructive negation and its application in coroutining. In: Proc. NACLP 1989, pp. 477–493. The MIT Press, Cambridge (1989)