Decidable Fragments of Logic Programming with Value Invention.

Francesco Calimeri, Susanna Cozza, Giovambattista Ianni

Browse the full JELIA paper archive.