@conference {DBLP:conf/agp/MascellaniP94,
	title = {Proving termination of Prolog programs},
	booktitle = {GULP-PRODE (1)},
	year = {1994},
	pages = {46-61},
	author = {Paolo Mascellani and Dino Pedreschi}
}
