Finitely recursive programs: Decidability and bottom-up computation. - Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista; Leone, Nicola (AI Communications, 2011)