BASELICE, SABRINA and BONATTI, PIERO ANDREA and CRISCUOLO, GIOVANNI (2009) On finitely recursive programs. [Pubblicazione su rivista scientifica]