A Case Study in Logic Program Verification: the Vanilla Metainterpreter
| Title | A Case Study in Logic Program Verification: the Vanilla Metainterpreter |
| Publication Type | Conference Paper |
| Year of Publication | 1995 |
| Authors | Pedreschi, D, Ruggieri, S |
| Conference Name | GULP-PRODE |