Initial Articles:

1. David Chan: Constructive negation based on the completed database. In R.Kowalski and K.Bowen, editors, Proc. of 5th JICSLP , p. 111-125, 1988.
2. Mark Wallace: Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases. SLP 1987, p. 253-263, 1987.
3. Taisuke Sato, Fumio Motoyoshi: A Complete Top-Down Interpreter for First Order Programs. ISLP 1991: 35-53
4. Denis Lugiez: A Deduction Procedure for First Order Programs. ICLP 1989: 585-599

   Common Approach:

5. Teodor C. Przymusinski: On Constructive Negation in Logic Programming. NACLP 1989: 0-0
   PS (The cite from here ).
6. Vladimir Lifschitz. SLDNF, constructive negation and grounding. in Proceedings of the Twelfth International Conference on Logic Programming, pp. 581-595, 1995.
   PS (The cite from here ). [1].

   Intensional Negation (Transformational Approach):

7. Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2 1987: 96-110
8. Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: A Transformational Approach to Negation in Logic Programming. JLP 8(3): 201-228 (1990)
9. Paola Bruscoli, Francesca Levi, Giorgio Levi, and Maria Chiara Meo: Intensional negation in Constraint Logic Programs. Technical Report 11/93, Dipartimento di Informatica, Università di Pisa, 1993.
   PS (The cite from here ).
10. Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo: Compilative Constructive Negation in Constraint Logic Programs. CAAP 1994: 52-67
    PS (The cite from here ). [1,3,7,8,9,11,12,24,30,31]

    Constructive Negation in Constraint Logic Programming:

11. Peter J. Stuckey: Constructive Negation for Constraint Logic Programming. LICS 1991: 328-339 (The cite from here ).
12. Peter J. Stuckey: Constructive Negation for Constraint Logic Programming. Technical report, Department of Computer Science, University of Melburn, 1991.
13. Agostino Dovier, Gianfranco Rossi: Embedding extensional finite sets in CLP. ILPS 1993: 540-556
    PS (The cite from here).
14. Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Compiling Intensional Sets in CLP. ICLP 1994: 647-661
    PS (The cite from here).
15. Annalisa Bossi, Massimo Fabris, Maria Chiara Meo: A Bottom-up Semantics for Constructive Negation. ICLP 1994: 520-534
    PS (The cite from here ).
16. François Fages: Constructive Negation by Pruning and Optimization Higher-order Predicates for CLP and CC Languages. LNCS 910: 68-89 (1994)
    DVI (The cite from here or here ).
17. François Fages: Constructive Negation by Pruning. JLP 32(2): 85-118 (1997) and (cf. LIENS Tech. Rep. 94-14 and 95-24)
    DVI (The cite from here ).
18. Vijay Chandr, Suman Roy, Ramesh Subrahmanyam: Constructive Negation in Definite Constraint Logic Programs. ASIAN 1996: 335-336
19. John G. Cleary: Constructive Negation of Arithmetic Constraints Using Dataflow Graphs. Constraints 2(2): 131-162 (1997)
20. John G. Cleary, Lunjin Lu: Constructive Negation Using Typed Existence Properties. PLILP/ALP 1998: 411-426
    PS (The cite from here ).
21. John G. Cleary, Lunjin Lu: A Heuristic Implementation Method for a Constructive Negation Approach.
    PS (The cite from here ).

    Other Approaches:

22. Norman Y. Foo, Anand Rao, Andrew Taylor, Adrian Walker: Deduced Relevant Types and Constructive Negation. ICLP/SLP 1988: 126-139 (The cite from here ).
23. David Chan: An Extension of Constructive Negation and its Application in Coroutining. NACLP 1989: 477-493
24. Jan Ma\luszy\'nski, T. Näslund: Fail Substitutions for Negation as Failure. NACLP 1989: 461-476,
25. Jorge Lobo: On Constructive Negation for Disjunctive Logic Programs. NACLP 1990: 704-718
    PS (The cite from here ).
26. María José Ramírez, Moreno Falaschi: Conditional Narrowing with Constructive Negation. ELP 1992: 59-79
    PS DVI (The cite from here ).
27. J. A. Plaza. Fully declarative logic programming. In Proceedings of PLILP'92, pages 415-427. Springer-Verlag, 1992. LNCS 631.
28. A. Mora, J. Piris, M. J. Ramirez, Moreno Falaschi: A Prototype System for Equational Constructive Negation. ILPS 1993: 638
29. Juan José Moreno-Navarro: Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. ICLP 1994: 535-549
    DVI (The cite from here ).
30. Wlodzimierz Drabent: SLS-resolution without floundering. LPNMR 1993: 82-98
    DVI (The cite from here ).
31. Wlodzimierz Drabent: What is Failure? An Approach to Constructive Negation. Acta Informatica 32(1): 27-29 (1995)
    PS (The cite from here ).
32. Juan José Moreno-Navarro: Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages. ELP 1996: 213-227
    DVI (The cite from here ).
33. Elena Marchiori: On Termination of General Logic Programs w.r.t. Constructive Negation. JLP 26(1): 69-89 (1996)
34. Alberto Momigliano, Mario Ornaghi. Regular Search Spaces and Constructive Negation. Journal of Logic and Computation 7(3): 367-403 (1997)
    PS Abstract (The cite from here ).

Last updated: December 8, 98