Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.

Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone

Browse the full LPNMR paper archive.