%0 Conference Paper %1 conf/agp/PedreschiR94 %A Pedreschi, Dino %A Ruggieri, Salvatore %B GULP-PRODE (1) %D 1994 %E Alpuente, María %E Barbuti, Roberto %E Ramos, Isidro %K dblp %P 418-433 %T Termination is Language-Independent. %U http://dblp.uni-trier.de/db/conf/agp/gulp-prode1994-1.html#PedreschiR94

@inproceedings{conf/agp/PedreschiR94, added-at = {2009-10-26T00:00:00.000+0100}, author = {Pedreschi, Dino and Ruggieri, Salvatore}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2108c6d47ee43ace2febf4fdf5b5015ff/dblp}, booktitle = {GULP-PRODE (1)}, crossref = {conf/agp/1994-1}, editor = {Alpuente, María and Barbuti, Roberto and Ramos, Isidro}, interhash = {f220a996332b30cbe5b0b9b25a2c7db7}, intrahash = {108c6d47ee43ace2febf4fdf5b5015ff}, keywords = {dblp}, pages = {418-433}, timestamp = {2016-02-02T14:12:23.000+0100}, title = {Termination is Language-Independent.}, url = {http://dblp.uni-trier.de/db/conf/agp/gulp-prode1994-1.html#PedreschiR94}, year = 1994 }