%0 Conference Paper %1 conf/agp/LeviS95 %A Levi, Giorgio %A Scozzari, Francesca %B GULP-PRODE %D 1995 %E Alpuente, María %E Sessa, Maria I. %K dblp %P 631-642 %T Contributions to a Theory of Existential Termination for Definite Logic Programs. %U http://dblp.uni-trier.de/db/conf/agp/gulp-prode1995.html#LeviS95

@inproceedings{conf/agp/LeviS95, added-at = {2004-11-29T00:00:00.000+0100}, author = {Levi, Giorgio and Scozzari, Francesca}, biburl = {https://www.bibsonomy.org/bibtex/2557791fbd1dd8329ed5e2c7971edccc0/dblp}, booktitle = {GULP-PRODE}, crossref = {conf/agp/1995}, date = {2004-11-29}, description = {dblp}, editor = {Alpuente, María and Sessa, Maria I.}, interhash = {17cec25689c185d7a6f02cabdb068fe6}, intrahash = {557791fbd1dd8329ed5e2c7971edccc0}, keywords = {dblp}, pages = {631-642}, timestamp = {2004-11-29T00:00:00.000+0100}, title = {Contributions to a Theory of Existential Termination for Definite Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/agp/gulp-prode1995.html#LeviS95}, year = 1995 }