%0 Conference Paper %1 conf/agp/MascellaniP94 %A Mascellani, Paolo %A Pedreschi, Dino %B GULP-PRODE (1) %D 1994 %E Alpuente, María %E Barbuti, Roberto %E Ramos, Isidro %K dblp %P 46-61 %T Proving termination of Prolog programs. %U http://dblp.uni-trier.de/db/conf/agp/gulp-prode1994-1.html#MascellaniP94

@inproceedings{conf/agp/MascellaniP94, added-at = {2004-11-30T00:00:00.000+0100}, author = {Mascellani, Paolo and Pedreschi, Dino}, biburl = {https://www.bibsonomy.org/bibtex/2f973730716c155e10670075a9f99d5bc/dblp}, booktitle = {GULP-PRODE (1)}, crossref = {conf/agp/1994-1}, date = {2004-11-30}, description = {dblp}, editor = {Alpuente, María and Barbuti, Roberto and Ramos, Isidro}, interhash = {11a33c77a1e1b54ab600f97298f2ade8}, intrahash = {f973730716c155e10670075a9f99d5bc}, keywords = {dblp}, pages = {46-61}, timestamp = {2004-11-30T00:00:00.000+0100}, title = {Proving termination of Prolog programs.}, url = {http://dblp.uni-trier.de/db/conf/agp/gulp-prode1994-1.html#MascellaniP94}, year = 1994 }