Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo. On finitely recursive programs. TPLP, 9(2):213-238, 2009. [doi]
@article{BaseliceBC09, title = {On finitely recursive programs}, author = {Sabrina Baselice and Piero A. Bonatti and Giovanni Criscuolo}, year = {2009}, doi = {10.1017/S147106840900372X}, url = {http://dx.doi.org/10.1017/S147106840900372X}, researchr = {https://researchr.org/publication/BaseliceBC09}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {9}, number = {2}, pages = {213-238}, }