R.  Barbuti, Mancarella, P., Pedreschi, D., and Turini, F., ?A Transformational Approach to Negation in Logic Programming?, J. Log. Program., vol. 8, pp. 201-228, 1990.

R.  Barbuti, Mancarella, P., Pedreschi, D., and Turini, F., ?Intensional Negation of Logic Programs: Examples and Implementation Techniques?, in TAPSOFT, Vol.2, 1987, pp. 96-110.