1. P. Arenas, A. Gil, F. López-Fraguas. Combining Lazy Narrowing with Disequality Constraints. PLILP'94, Springer LNCS 844, 385–399, 1994.
2. R. Barbuti, D. Mancarella, D. Pedreschi, F. Turini. Intensional Negation of Logic Programs. Proc. TAPSOFT'87, Springer LNCS 250, 96–110, 1987.
3. R. Barbuti, D. Mancarella, D. Pedreschi, F. Turini. A Transformational Approach to Negation in Logic Programming. J. of Logic Programming, 8(3):201–228, 1990.
4. D. Chan. Constructive Negation Based on the Complete Database Proc. Int. Conference on Logic Programming'89, The MIT Press, 111–125, 1988.
5. D. Chan. An Extension of Constructive Negation and its Application in Coroutining. Proc. NACLP'89, The MIT Press, 477–493. 1989.