Chandru, Vijay and Roy, Suman and Subrahmanyam, Ramesh (1998) Negation as Failure as Resolution. In: Constraints, 3 (4). pp. 315-329.