%0 Conference Paper %1 conf/agp/PedreschiR95 %A Pedreschi, Dino %A Ruggieri, Salvatore %B GULP-PRODE %D 1995 %E Alpuente, María %E Sessa, Maria I. %K dblp %P 643-654 %T A Case Study in Logic Program Verification: the Vanilla Metainterpreter. %U http://dblp.uni-trier.de/db/conf/agp/gulp-prode1995.html#PedreschiR95

@inproceedings{conf/agp/PedreschiR95, added-at = {2004-11-29T00:00:00.000+0100}, author = {Pedreschi, Dino and Ruggieri, Salvatore}, biburl = {https://www.bibsonomy.org/bibtex/2e87846dda0a1995ace18d9e6f51919ce/dblp}, booktitle = {GULP-PRODE}, crossref = {conf/agp/1995}, date = {2004-11-29}, description = {dblp}, editor = {Alpuente, María and Sessa, Maria I.}, interhash = {e8b4a69de3ff7d946393f5ec047542df}, intrahash = {e87846dda0a1995ace18d9e6f51919ce}, keywords = {dblp}, pages = {643-654}, timestamp = {2004-11-29T00:00:00.000+0100}, title = {A Case Study in Logic Program Verification: the Vanilla Metainterpreter.}, url = {http://dblp.uni-trier.de/db/conf/agp/gulp-prode1995.html#PedreschiR95}, year = 1995 }