@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} }