@conference {DBLP:conf/agp/PedreschiR95,
	title = {A Case Study in Logic Program Verification: the Vanilla Metainterpreter},
	booktitle = {GULP-PRODE},
	year = {1995},
	pages = {643-654},
	author = {Dino Pedreschi and Salvatore Ruggieri}
}
