@conference {DBLP:conf/birthday/MancarellaPR02,
	title = {Negation as Failure through Abduction: Reasoning about Termination},
	booktitle = {Computational Logic: Logic Programming and Beyond},
	year = {2002},
	pages = {240-272},
	author = {Paolo Mancarella and Dino Pedreschi and Salvatore Ruggieri}
}
