%0 Journal Article %1 journals/aicom/CalimeriCIL11 %A Calimeri, Francesco %A Cozza, Susanna %A Ianni, Giovambattista %A Leone, Nicola %D 2011 %J AI Commun. %K dblp %N 4 %P 311-334 %T Finitely recursive programs: Decidability and bottom-up computation. %U http://dblp.uni-trier.de/db/journals/aicom/aicom24.html#CalimeriCIL11 %V 24

@article{journals/aicom/CalimeriCIL11, added-at = {2012-01-03T00:00:00.000+0100}, author = {Calimeri, Francesco and Cozza, Susanna and Ianni, Giovambattista and Leone, Nicola}, biburl = {https://www.bibsonomy.org/bibtex/264c80e2ee69ea3397949dc9192a4ae20/dblp}, ee = {http://dx.doi.org/10.3233/AIC-2011-0509}, interhash = {101950eac911ce2948312278c2f39f04}, intrahash = {64c80e2ee69ea3397949dc9192a4ae20}, journal = {AI Commun.}, keywords = {dblp}, number = 4, pages = {311-334}, timestamp = {2012-01-04T11:34:10.000+0100}, title = {Finitely recursive programs: Decidability and bottom-up computation.}, url = {http://dblp.uni-trier.de/db/journals/aicom/aicom24.html#CalimeriCIL11}, volume = 24, year = 2011 }