%0 Conference Paper %B Computational Logic: Logic Programming and Beyond %D 2002 %T Negation as Failure through Abduction: Reasoning about Termination %A Paolo Mancarella %A Dino Pedreschi %A Salvatore Ruggieri %B Computational Logic: Logic Programming and Beyond %P 240-272 %G eng