TY - JOUR T1 - A Transformational Approach to Negation in Logic Programming JF - J. Log. Program. Y1 - 1990 A1 - Roberto Barbuti A1 - Paolo Mancarella A1 - Dino Pedreschi A1 - Franco Turini VL - 8 ER -