Sabrina Baselice Piero A. Bonatti Giovanni Criscuolo On finitely recursive programs. 213-238 2009 9 TPLP 2 http://dx.doi.org/10.1017/S147106840900372X db/journals/tplp/tplp9.html#BaseliceBC09