Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri. Negation as Failure through Abduction: Reasoning about Termination. In Antonis C. Kakas, Fariba Sadri, editors, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I. Volume 2407 of Lecture Notes in Computer Science, pages 240-272, Springer, 2002. [doi]
Abstract is missing.