1. J. Álvez, P. Lucio, F. Orejas, E. Pasarella and E. Pino, Constructive negation by bottom-up computation of literal answers, in: SAC '04: Proceedings of the 2004 ACM Symposium on Applied Computing, 2004, pp. 1468–1475
2. A transformational approach to negation in logic programming;Barbuti;Journal of Logic Programming,1990
3. Compilative constructive negation in constraint logic programs;Bruscoli,1994
4. Chan, D., Constructive negation based on the completed database, in: R.A. Kowalski and K.A. Bowen, editors, Proc. of the 5th Int. Conf. and Symp. on Logic Progr. (1988), pp. 111–125
5. Chan, D., An extension of constructive negation and its application in coroutining, in: E. Lusk and R. Overbeek, editors, Proc. of the NACLP'89 (1989), pp. 477–493