Francesco Calimeri Susanna Cozza Giovambattista Ianni Decidable Fragments of Logic Programming with Value Invention. 95-110 2006 conf/jelia/2006 JELIA http://dx.doi.org/10.1007/11853886_10 db/conf/jelia/jelia2006.html#CalimeriCI06