On finitely recursive programs

Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo

Disjunctive finitary programs are a class of logic programs admitting function symbols and hence infinite domains. They have very good computational properties, for example ground…