@conference {DBLP:conf/birthday/MascellaniP02,
	title = {The Declarative Side of Magic},
	booktitle = {Computational Logic: Logic Programming and Beyond},
	year = {2002},
	pages = {83-108},
	author = {Paolo Mascellani and Dino Pedreschi}
}
@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}
}
