%0 Conference Paper %B GULP-PRODE %D 1995 %T A Case Study in Logic Program Verification: the Vanilla Metainterpreter %A Dino Pedreschi %A Salvatore Ruggieri %B GULP-PRODE %P 643-654 %G eng