On finitely recursive programs

Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo. On finitely recursive programs. TPLP, 9(2):213-238, 2009. [doi]

Abstract

Abstract is missing.