Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. Finitely recursive programs: Decidability and bottom-up computation. AI Commun., 24(4):311-334, 2011. [doi]
@article{CalimeriCIL11, title = {Finitely recursive programs: Decidability and bottom-up computation}, author = {Francesco Calimeri and Susanna Cozza and Giovambattista Ianni and Nicola Leone}, year = {2011}, doi = {10.3233/AIC-2011-0509}, url = {http://dx.doi.org/10.3233/AIC-2011-0509}, researchr = {https://researchr.org/publication/CalimeriCIL11}, cites = {0}, citedby = {0}, journal = {AI Commun.}, volume = {24}, number = {4}, pages = {311-334}, }