P.  Mancarella, Pedreschi, D., and Ruggieri, S., ?Negation as Failure through Abduction: Reasoning about Termination?, in Computational Logic: Logic Programming and Beyond, 2002, pp. 240-272.